projects
/
SymbiYosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
4ab610c
)
Merge pull request #193 from jix/abc_pdr_v
author
Jannis Harder
<me@jix.one>
Wed, 13 Jul 2022 14:07:04 +0000
(16:07 +0200)
committer
GitHub
<noreply@github.com>
Wed, 13 Jul 2022 14:07:04 +0000
(16:07 +0200)
abc pdr: Enable log output by default
sbysrc/sby_engine_abc.py
patch
|
blob
|
history
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]}.")