Disable unrolling per default for z3
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Dec 2017 01:12:08 +0000 (02:12 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Dec 2017 01:12:08 +0000 (02:12 +0100)
commit25936009bbc2cffd289c607ddf42a578527aa59c
tree64ebbc9aa563c174a6fb129bf2054c3e3f1cb147
parent770c6441d8f8045e8dc2a6686d3cbea60e98fea4
Disable unrolling per default for z3
docs/examples/multiclk/dpmem.sby
sbysrc/sby_engine_smtbmc.py