Use smtbmc args for solver options
authorClifford Wolf <clifford@clifford.at>
Sun, 19 Feb 2017 21:52:27 +0000 (22:52 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 19 Feb 2017 21:52:27 +0000 (22:52 +0100)
commitafeab488947d4e8af38861e35c660356832eea80
tree6695bcb9e7b1b6c790d9a243c2304bacb8645bb9
parent221018b19dd55c9700fa75661e6f7ff3f275acd8
Use smtbmc args for solver options
sbysrc/demo.sby
sbysrc/sby_engine_smtbmc.py