Fix handling of counter examples with "abc bmc3" engine
authorClifford Wolf <clifford@clifford.at>
Sun, 29 Jan 2017 15:58:11 +0000 (16:58 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 29 Jan 2017 15:58:11 +0000 (16:58 +0100)
commit062aae58229b0902196a345e5a31ab08bb4413e7
treeb6c86578609f321f8e345cb57b1a2ce9b7e94b15
parent170a7efe1006593a8f8f9e9deab12c98922a5bd4
Fix handling of counter examples with "abc bmc3" engine
sbysrc/sby_bmc.py
sbysrc/sby_core.py