From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 1 Oct 2016 11:54:21 +0000 (+0200)
Subject: Added "yosys-smtbmc -s abc"
X-Git-Tag: yosys-0.7~45
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4eb0d6fc0e0e6216fc5bd11fb978902efec6c38e;p=yosys.git

Added "yosys-smtbmc -s abc"
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index e4eb10972..cf14333c4 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -92,6 +92,10 @@ class SmtIo:
             popen_vargs = ['boolector', '--smt2', '-i']
             self.unroll = True
 
+        if self.solver == "abc":
+            popen_vargs = ['yosys-abc', '-S', '%blast; &sweep -C 5000; &syn4; &cec -s -m -C 2000']
+            self.unroll = True
+
         if self.solver == "dummy":
             assert self.dummy_file is not None
             self.dummy_fd = open(self.dummy_file, "r")