Skip to content
Snippets Groups Projects
Commit d83ff17e authored by Etienne Kneuss's avatar Etienne Kneuss
Browse files

Mention options in vcs file itself

parent ada608da
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
+ 6
− 1
View file @ d83ff17e
...@@ -66,7 +66,12 @@ abstract class SMTLIBSolver(val context: LeonContext, ...@@ -66,7 +66,12 @@ abstract class SMTLIBSolver(val context: LeonContext,
reporter.debug(s"Outputting VC into $fileName" ) 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 } else None
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment