Merge pull request #268 from YosysHQ/KrystalDelusion-patch-1

Update sby_engine_abc.py
YosysHQ · Mar 11, 2024 · e30a0fe · e30a0fe
2 parents c73cd3e + 6c8b838
commit e30a0fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sbysrc/sby_engine_abc.py b/sbysrc/sby_engine_abc.py
@@ -182,7 +182,7 @@ def output_callback(line):
             match = re.match(r"^Output [0-9]+ of miter .* was asserted in frame [0-9]+.", line)
             if match: proc_status = "FAIL"
 
-        match = re.match(r"^Proved output +([0-9]+) in frame +[0-9]+", line)
+        match = re.match(r"^Proved output +([0-9]+) in frame +-?[0-9]+", line)
         if match:
             output = int(match[1])
             prop = aiger_props[output]