From a4eb7e41c08d6efa02e00dee16674dfb68c9cacc Mon Sep 17 00:00:00 2001 From: Claire Xenia Wolf Date: Tue, 1 Nov 2022 17:51:46 +0100 Subject: Add extra time at the end of a sat VCD trace Otherwise the final values will not show up in gtkwave waveforms when looking at the generated traces. Signed-off-by: Claire Xenia Wolf --- passes/sat/sat.cc | 1 + 1 file changed, 1 insertion(+) (limited to 'passes/sat') diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index df2725b3c..e10517d72 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -758,6 +758,7 @@ struct SatHelper if (last_timestep == -2) log(" no model variables selected for display.\n"); + fprintf(f, "#%d\n", last_timestep+1); fclose(f); } -- cgit v1.2.3