Emily Schmidt da46e1984b Fixes issue #269 by removing an erroneous "if sbyfile" check. ... This commit removes an erroneous "if sbyfile" that would turn '-f' into a no-op for stdin input files. Presumably this check was originally intended to handle the case of stdin input file and no specified workdir (which uses a temporary workdir). In the current version the check is redundant for this particular case. The check is erroneous in the case of stdin input file and a specified workdir, so we simply remove the check.		2024-04-02 13:32:24 +01:00
..
sby.py	Fixes issue #269 by removing an erroneous "if sbyfile" check.	2024-04-02 13:32:24 +01:00
sby_autotune.py	Initial support for a multi-task property status database	2024-02-20 13:34:58 +01:00
sby_cmdline.py	Initial support for a multi-task property status database	2024-02-20 13:34:58 +01:00
sby_core.py	Support for the new anytime schedule in yosys-abc's pdr	2024-03-06 12:26:01 +01:00
sby_design.py	Initial support for a multi-task property status database	2024-02-20 13:34:58 +01:00
sby_engine_abc.py	Update sby_engine_abc.py	2024-03-12 10:48:26 +13:00
sby_engine_aiger.py	Emit status db update from aigsmt	2024-02-20 14:06:43 +01:00
sby_engine_btor.py	Unified trace generation using yosys's sim across all engines	2023-01-10 18:42:26 +01:00
sby_engine_smtbmc.py	Support for the new anytime schedule in yosys-abc's pdr	2024-03-06 12:26:01 +01:00
sby_jobserver.py	Fix deadlock with parallel SBY procs each with parallel tasks	2023-07-17 15:29:17 +02:00
sby_mode_bmc.py	Unified trace generation using yosys's sim across all engines	2023-01-10 18:42:26 +01:00
sby_mode_cover.py	Unified trace generation using yosys's sim across all engines	2023-01-10 18:42:26 +01:00
sby_mode_live.py	Add colors to engine header message	2022-11-24 18:12:22 +01:00
sby_mode_prove.py	Unified trace generation using yosys's sim across all engines	2023-01-10 18:42:26 +01:00
sby_sim.py	smtbmc: Use new -noinitstate option when simulating inductive cex	2023-09-28 17:38:15 +02:00
sby_status.py	Initial support for a multi-task property status database	2024-02-20 13:34:58 +01:00