Fix CEX handle in liveness checking mode
authorClifford Wolf <clifford@clifford.at>
Thu, 2 Mar 2017 12:37:58 +0000 (13:37 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 2 Mar 2017 12:37:58 +0000 (13:37 +0100)
commit2b8533cf179e1acf365aa01c66c6d7d11a3af359
treeb741a5b2501dcb630686def5d22ff83cd2c478d3
parent7fdbb4c1793f3b2643647a77bed99314c5f9eeaa
Fix CEX handle in liveness checking mode
sbysrc/sby_engine_aiger.py