From: Jannis Harder <me@jix.one>
Date: Fri, 8 Jul 2022 10:36:44 +0000 (+0200)
Subject: abc pdr: Enable log output by default
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=92e7eb2e3225d7a3bdf23497d80e4901b6c75e98;p=SymbiYosys.git

abc pdr: Enable log output by default

This makes it consistent with the other abc solvers and shows whether
abc pdr is making progress.
---

diff --git a/sbysrc/sby_engine_abc.py b/sbysrc/sby_engine_abc.py
index 4635ee1..e96ddb8 100644
--- 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]}.")