Jannis Harder 5d3f784beb Fix a race-condition SbyProc that could truncate output ... Present for a long time, but was not easy to hit. Some of my work in progress changes made this much more likely and running the complete test suite in parallel had a good chance of reproducing this for at least one of the tests.		2022-07-13 16:01:49 +02:00
..
sby.py	Read config before creating a workdir	2022-07-05 17:20:55 +02:00
sby_autotune.py	Automatic engine selection	2022-06-27 15:58:42 +02:00
sby_core.py	Fix a race-condition SbyProc that could truncate output	2022-07-13 16:01:49 +02:00
sby_design.py	sby_design: Extract total memory size and forall usage	2022-06-24 13:50:26 +02:00
sby_engine_abc.py	Don't use python asserts to handle unexpected solver output	2022-06-15 13:25:21 +02:00
sby_engine_aiger.py	Don't use python asserts to handle unexpected solver output	2022-06-15 13:25:21 +02:00
sby_engine_btor.py	Don't use python asserts to handle unexpected solver output	2022-06-15 13:25:21 +02:00
sby_engine_smtbmc.py	sby_design: Extract total memory size and forall usage	2022-06-24 13:50:26 +02:00
sby_mode_bmc.py	Automatic engine selection	2022-06-27 15:58:42 +02:00
sby_mode_cover.py	Automatic engine selection	2022-06-27 15:58:42 +02:00
sby_mode_live.py	Automatic engine selection	2022-06-27 15:58:42 +02:00
sby_mode_prove.py	Automatic engine selection	2022-06-27 15:58:42 +02:00