diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-09-18 20:48:09 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-09-18 20:48:09 +0200 |
commit | d009cdd6eef5a24a11584a543bab8543f3940f6c (patch) | |
tree | 5601d0ddb658f0239c15bb3722bff4f3e868115a /backends/smt2/smtbmc.py | |
parent | 13a03b84d402d4a9891e6513a44551572d3e92db (diff) | |
download | yosys-d009cdd6eef5a24a11584a543bab8543f3940f6c.tar.gz yosys-d009cdd6eef5a24a11584a543bab8543f3940f6c.tar.bz2 yosys-d009cdd6eef5a24a11584a543bab8543f3940f6c.zip |
Improved handling of SMT2 logics in yosys-smtbmc
Diffstat (limited to 'backends/smt2/smtbmc.py')
-rw-r--r-- | backends/smt2/smtbmc.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index a9c4061ce..59410ea3a 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -278,12 +278,10 @@ def print_msg(msg): sys.stdout.flush() print_msg("Solver: %s" % (so.solver)) -smt.setup("QF_AUFBV") with open(args[0], "r") as f: for line in f: smt.write(line) - smt.info(line) if topmod is None: topmod = smt.topmod |