Commit 06285130 authored by MARCHE Claude's avatar MARCHE Claude

do not publicize the SafeProver

parent dac73b72
......@@ -490,15 +490,6 @@ version_ok = "7.0"
command = "%l/why3-cpulimit %t %m -s %e -noprompt"
driver = "drivers/mathematica.drv"
[ATP safeprover]
name = "SafeProver"
exec = "safeprover"
version_switch = "-version"
version_regexp = "The safe prover, version \\([^ \n\t]+\\)"
version_ok = "0.0.0"
command = "%l/why3-cpulimit %t %m -s %e %f"
driver = "drivers/safeprover.drv"
# Coq 8.5: do not limit memory
[ITP coq]
name = "Coq"
......
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