From d83ff17e19af05ebd5e721d64ffe638db1e2b33c Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 21 Jul 2015 19:23:25 +0200
Subject: [PATCH] Mention options in vcs file itself
---
src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
index 241dbd2e0..e9faa425c 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
@@ -66,7 +66,12 @@ abstract class SMTLIBSolver(val context: LeonContext,
reporter.debug(s"Outputting VC into $fileName" )
- new java.io.FileWriter(fileName, false)
+ val fw = new java.io.FileWriter(fileName, false)
+
+ fw.write("; Solver : "+name+"\n")
+ fw.write("; Options: "+interpreterOps(context).mkString(" ")+"\n")
+
+ fw
} else None
--
GitLab