mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 19:52:31 +00:00
Code Activity

azonenberg: Make dump_vcd save model when temporal induction fails due to step limit

Browse source
This commit is contained in:
Clifford Wolf 2014-08-24 13:27:40 +02:00
parent c642dd0b3e
commit 9c5a63c52c
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/sat/sat.cc
View file

@ -1320,6 +1320,8 @@ struct SatPass : public Pass {
} }
log("\nReached maximum number of time steps -> proof failed.\n"); log("\nReached maximum number of time steps -> proof failed.\n");
if(!vcd_file_name.empty())
inductstep.dump_model_to_vcd(vcd_file_name);
print_proof_failed(); print_proof_failed();
tip_failed: tip_failed: