mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Merge pull request #3536 from YosysHQ/claire/vcdend

Browse source 
Add extra time at the end of a sat VCD trace
This commit is contained in:
Miodrag Milanović 2022-11-07 13:15:57 +01:00 committed by GitHub
parent bc0e69f5c8 a4eb7e41c0
commit 96df99dafa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
passes/sat/sat.cc
View file

@ -758,6 +758,7 @@ struct SatHelper
if (last_timestep == -2) if (last_timestep == -2)
log(" no model variables selected for display.\n"); log(" no model variables selected for display.\n");
fprintf(f, "#%d\n", last_timestep+1);
fclose(f); fclose(f);
} }