Add support for (re-)running in existing workdir
authorClifford Wolf <clifford@clifford.at>
Sat, 9 Mar 2019 20:42:54 +0000 (12:42 -0800)
committerClifford Wolf <clifford@clifford.at>
Sat, 9 Mar 2019 20:42:54 +0000 (12:42 -0800)
commitbd4094f216083c9c1cc9b65aeda3cbfb30114a16
treed341b06548d060cb22731ac45675b81aeb144ae2
parentcef50242df928dc3e8bf83cb6c4b145d4926baeb
Add support for (re-)running in existing workdir

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