Add "sim -q" option
authorClaire Xenia Wolf <claire@clairexen.net>
Fri, 11 Mar 2022 15:26:11 +0000 (16:26 +0100)
committerClaire Xenia Wolf <claire@clairexen.net>
Fri, 11 Mar 2022 15:26:11 +0000 (16:26 +0100)
commite21badd4b35751d85455731eee268ccd48f6fb9c
tree134114a15a8247c1f1395ca94ffc359653afff8a
parentbe32de1caa8f10c97243cc6b919ad2265247219b
Add "sim -q" option

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
passes/sat/sim.cc