mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00
Code Activity

Fix "abc bmc3" engine for small state spaces

Browse source
This commit is contained in:
Clifford Wolf 2017-01-30 11:39:48 +01:00
parent f358cca5a1
commit 08079a435b
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
sbysrc/sby_bmc.py
View file

@ -94,6 +94,9 @@ def run_abc(job, engine_idx, engine):
match = re.match(r"^Output [0-9]+ of miter .* was asserted in frame [0-9]+.", line)
if match: task_status = "FAIL"
match = re.match(r"^Stopping BMC because all 2\^[0-9]+ reachable states are visited.", line)
if match: task_status = "PASS"
match = re.match(r"^No output asserted in [0-9]+ frames.", line)
if match: task_status = "PASS"