Commit 0581387b authored by MARCHE Claude's avatar MARCHE Claude
Browse files

alt-ergo driver adjusments;

parent 4a271a9c
......@@ -4,7 +4,7 @@
prelude "(* this is a prelude for Alt-Ergo*)"
printer "alt-ergo"
filename "%f-%t-%s.mlw"
filename "%f-%t-%s.why"
call_on_file "alt-ergo %s"
valid "Valid"
......@@ -28,7 +28,7 @@ theory BuiltIn
syntax logic (_=_) "(%1 = %2)"
syntax logic (_<>_) "(%1 = %2)"
syntax logic (_<>_) "(%1 <> %2)"
end
......
......@@ -57,6 +57,8 @@ exception CommandError
exception NoCommandlineProvided
(* this should be changeable by an option
(otherwise: The program 'timeout' is currently not installed) *)
let cpulimit = ref "timeout" (*"why-cpulimit"*)
......
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