Commit 47bb41d1 authored by MARCHE Claude's avatar MARCHE Claude

no tmp file produced by coq prover

parent 14a1e9e2
......@@ -224,7 +224,7 @@ driver = "drivers/z3_smtv1.drv"
[ITP coq]
name = "Coq"
exec = "coqc"
exec = "coqtop -batch"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.3pl2"
......@@ -235,7 +235,7 @@ version_ok = "8.2pl1"
version_ok = "8.2"
version_old = "8.1"
version_old = "8.0"
command = "@LOCALBIN@why3-cpulimit 0 %m -s %e %f"
command = "@LOCALBIN@why3-cpulimit 0 %m -s %e -l %f"
driver = "drivers/coq.drv"
editor = "coqide"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment