From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Mon, 25 May 2020 20:32:13 +0000 (+0000)
Subject: qbfsat: Move SMT2 info statements back to the top of the file.
X-Git-Tag: working-ls180~519^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=54570a39780f750aa7bfd616f12c58bcf121bbdf;p=yosys.git

qbfsat: Move SMT2 info statements back to the top of the file.
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 7cb1e8968..62dfe7c11 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -236,6 +236,9 @@ class SmtIo:
 
         self.setup_done = True
 
+        for stmt in self.info_stmts:
+            self.write(stmt)
+
         if self.forall and self.solver == "yices":
             self.write("(set-option :yices-ef-max-iters 1000000000)")
 
@@ -244,9 +247,6 @@ class SmtIo:
 
         self.write("(set-logic %s)" % self.logic)
 
-        for stmt in self.info_stmts:
-            self.write(stmt)
-
     def timestamp(self):
         secs = int(time() - self.start_time)
         return "## %3d:%02d:%02d " % (secs // (60*60), (secs // 60) % 60, secs % 60)