From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 18 Jan 2018 13:25:22 +0000 (+0100)
Subject: Move user-provided smt2 info stmts to the top of the yosys-smtbmc smt2 output
X-Git-Tag: yosys-0.8~231
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=54aeca0983484644249dafa98416df15ec4ab74b;p=yosys.git

Move user-provided smt2 info stmts to the top of the yosys-smtbmc smt2 output
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index ec5253205..a9d9de8fa 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -150,14 +150,14 @@ class SmtIo:
 
         self.setup_done = True
 
+        for stmt in self.info_stmts:
+            self.write(stmt)
+
         if self.produce_models:
             self.write("(set-option :produce-models true)")
 
         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 "## %6d %3d:%02d:%02d " % (secs, secs // (60*60), (secs // 60) % 60, secs % 60)