From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Fri, 29 May 2020 21:30:24 +0000 (+0000)
Subject: smtbmc: Remove superfluous `yosys-smt2-timeout` file macro.
X-Git-Tag: working-ls180~519^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ea30465107a148454f19226e44b242de73d200dd;p=yosys.git

smtbmc: Remove superfluous `yosys-smt2-timeout` file macro.

Co-Authored-By: clairexen <claire@symbioticeda.com>
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index d24fbf809..9f7c8c6d9 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -468,10 +468,6 @@ class SmtIo:
 
         fields = stmt.split()
 
-        if fields[1] == "yosys-smt2-timeout":
-            self.timeout = int(fields[2])
-            assert self.timeout > 0
-
         if fields[1] == "yosys-smt2-nomem":
             if self.logic is None:
                 self.logic_ax = False