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 ec5253205ab98827665e1f454b8152ec2001c4b4..a9d9de8fa7ea95edcd85c6925dde1547c96b4cc0 100644 (file)
--- 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)