From 92e7eb2e3225d7a3bdf23497d80e4901b6c75e98 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Fri, 8 Jul 2022 12:36:44 +0200
Subject: [PATCH] abc pdr: Enable log output by default

This makes it consistent with the other abc solvers and shows whether
abc pdr is making progress.
---
 sbysrc/sby_engine_abc.py | 1 +
 1 file changed, 1 insertion(+)

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]}.")
-- 
2.30.2