diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2022-11-01 17:51:46 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2022-11-01 17:51:46 +0100 |
| commit | a4eb7e41c08d6efa02e00dee16674dfb68c9cacc (patch) | |
| tree | 5c80febd145381b14b0325808edadf46ae64eaa7 /passes/sat | |
| parent | d8ea5ef6e2e6f6da132d8755eddcdaf71b5caf9e (diff) | |
| download | yosys-a4eb7e41c08d6efa02e00dee16674dfb68c9cacc.tar.gz yosys-a4eb7e41c08d6efa02e00dee16674dfb68c9cacc.tar.bz2 yosys-a4eb7e41c08d6efa02e00dee16674dfb68c9cacc.zip | |
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 <claire@clairexen.net>
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sat.cc | 1 |
1 files changed, 1 insertions, 0 deletions
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); } |