aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--passes/sat/sat.cc2
1 files changed, 2 insertions, 0 deletions
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: