Add "append" option
authorClifford Wolf <clifford@clifford.at>
Sun, 26 Feb 2017 10:08:14 +0000 (11:08 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 26 Feb 2017 10:08:14 +0000 (11:08 +0100)
commit7be08218cbbf245ed30ecf4ea1247043163bd215
treef37cb5cd08f012e00ab41b82d006baffb3fc3814
parent94260e01b8ac4aa1d0fb530bb2a472a51c762613
Add "append" option
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_prove.py