Add "sim -zinit -rstlen"
authorClifford Wolf <clifford@clifford.at>
Fri, 18 Aug 2017 10:54:17 +0000 (12:54 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 18 Aug 2017 10:54:17 +0000 (12:54 +0200)
commitbbdf7d9c66359fa4210477fd998a534fc9900392
treec15c5c0d6d792ccaee77d9bcdedc712c59de4b2e
parent35760dd784f4b2e360a4137ce115104d1204d7a6
Add "sim -zinit -rstlen"
passes/sat/sim.cc