diff options
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 4 |
1 files changed, 0 insertions, 4 deletions
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 |