Merge pull request #195 from jix/sbyproc-truncated-output

Fix a race-condition SbyProc that could truncate output

diff --git a/sbysrc/sby_engine_abc.py b/sbysrc/sby_engine_abc.py
index 4635ee17143c78db29a2fbd394e2375fb18974bd..e96ddb8959c645a28d1b4d508cedb93f6d5d71ec 100644 (file)
--- a/sbysrc/sby_engine_abc.py
+++ b/sbysrc/sby_engine_abc.py
@@ -41,6 +41,7 @@ def run(mode, task, engine_idx, engine):
     elif abc_command[0] == "pdr":
         if mode != "prove":
             task.error("ABC command 'pdr' is only valid in prove mode.")
+        abc_command[0] += f" -v"
 
     else:
         task.error(f"Invalid ABC command {abc_command[0]}.")