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

Small fix in "sim" help message

Browse source 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
This commit is contained in:
Claire Xenia Wolf 2022-03-11 15:36:23 +01:00
parent 2f44683f4f
commit be32de1caa
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
passes/sat/sim.cc
View file

@ -1599,7 +1599,7 @@ struct SimPass : public Pass {
log(" -map <filename>\n"); log(" -map <filename>\n");
log(" read file with port and latch symbols, needed for AIGER witness input\n"); log(" read file with port and latch symbols, needed for AIGER witness input\n");
log("\n"); log("\n");
log(" -scope\n"); log(" -scope <name>\n");
log(" scope of simulation top model\n"); log(" scope of simulation top model\n");
log("\n"); log("\n");
log(" -at <time>\n"); log(" -at <time>\n");