From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 24 Aug 2014 11:27:40 +0000 (+0200)
Subject: azonenberg: Make dump_vcd save model when temporal induction fails due to step limit
X-Git-Tag: yosys-0.4~210
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9c5a63c52c24f0570557b4bf7340b41666cf44b6;p=yosys.git

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

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index c6da4bb42..08ae9e929 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -1320,6 +1320,8 @@ struct SatPass : public Pass {
 			}
 
 			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();
 
 		tip_failed: