Ensure to write smt2 info to file.

sireum · Feb 27, 2024 · 2922ce6 · 2922ce6
1 parent 5947988
commit 2922ce6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/shared/src/main/scala/org/sireum/logika/Smt2.scala b/shared/src/main/scala/org/sireum/logika/Smt2.scala
@@ -669,7 +669,7 @@ object Smt2 {
         val filename: String =
           if (ops.StringOps(title).contains("[")) s"sat-$title"
           else s"sat-$title-at-${pos.beginLine}-${pos.beginColumn}"
-        writeFile(logDir, filename, res.query)
+        writeFile(logDir, filename, s"${res.info}\n${res.query}")
       case _ =>
     }
     if (config.smt2Caching && res.solverName != "none") {
@@ -1692,7 +1692,7 @@ object Smt2 {
         val filename: String =
           if (ops.StringOps(title).contains("[")) s"vc-$title"
           else s"vc-$title-at-${pos.beginLine}-${pos.beginColumn}"
-        writeFile(logDir, filename, res.query)
+        writeFile(logDir, filename, s"${res.info}\n${res.query}")
       case _ =>
     }
     if (config.smt2Caching && res.solverName != "none") {