More improvements in sby error handling
authorClifford Wolf <clifford@clifford.at>
Tue, 27 Mar 2018 14:23:57 +0000 (16:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 27 Mar 2018 14:23:57 +0000 (16:23 +0200)
commit36c7185393066e0c1faafaaa5a22384bd8a0e7fd
treea00370971c07b34a1ed696ddbdfc6f4ad5e9c259
parent9edc65874c3054b6b08404f87fa5d916e2794ee6
More improvements in sby error handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
sbysrc/sby_engine_abc.py
sbysrc/sby_engine_aiger.py
sbysrc/sby_engine_smtbmc.py
sbysrc/sby_mode_bmc.py
sbysrc/sby_mode_cover.py
sbysrc/sby_mode_live.py
sbysrc/sby_mode_prove.py