Commit fbb9491a authored by MARCHE Claude's avatar MARCHE Claude

Improved support of veriT

parent 794113de
......@@ -271,7 +271,7 @@ exec = "veriT"
exec = "veriT-201310"
version_switch = "--version"
version_regexp = "version \\([^ \n\r]+\\)"
command = "%l/why3-cpulimit %t %m -s %e --enable-simp --enable-unit-simp --enable-simp-sym --enable-unit-subst-simp --enable-bclause %f"
command = "%l/why3-cpulimit %t %m -s %e --disable-print-success --enable-simp --enable-unit-simp --enable-simp-sym --enable-unit-subst-simp --enable-bclause %f"
driver = "drivers/verit.drv"
version_ok = "201310"
......
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