diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2022-03-11 15:36:23 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2022-03-11 15:36:23 +0100 |
| commit | be32de1caa8f10c97243cc6b919ad2265247219b (patch) | |
| tree | 209da35f4b66b196e6a203ce9d4b0d7eba3a18a3 /passes/sat | |
| parent | 2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27 (diff) | |
| download | yosys-be32de1caa8f10c97243cc6b919ad2265247219b.tar.gz yosys-be32de1caa8f10c97243cc6b919ad2265247219b.tar.bz2 yosys-be32de1caa8f10c97243cc6b919ad2265247219b.zip | |
Small fix in "sim" help message
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sim.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 02b859bcc..6b03235d3 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -1599,7 +1599,7 @@ struct SimPass : public Pass { log(" -map <filename>\n"); log(" read file with port and latch symbols, needed for AIGER witness input\n"); log("\n"); - log(" -scope\n"); + log(" -scope <name>\n"); log(" scope of simulation top model\n"); log("\n"); log(" -at <time>\n"); |