16 lines
785 B
Diff
16 lines
785 B
Diff
--- intf/config.mll 2008-07-28 08:03:03.000000000 -0400
|
|
+++ intf/config.mll 2008-07-31 22:52:45.000000000 -0400
|
|
@@ -47,11 +47,12 @@
|
|
let create_default_config () =
|
|
if not (Sys.file_exists config_file) then begin
|
|
let out_channel = open_out config_file in
|
|
- output_string out_channel "prover = \"Simplify\"\n";
|
|
+ output_string out_channel "prover = \"alt-ergo\"\n";
|
|
output_string out_channel "cache = \"true\"\n";
|
|
output_string out_channel "timeout = \"10\"\n";
|
|
output_string out_channel "hard_proof = \"true\"\n";
|
|
output_string out_channel "live_update = \"false\"\n";
|
|
+ output_string out_channel "provers = \"Zenon\" \"CVC3\" \"alt-ergo\"\n";
|
|
try close_out out_channel
|
|
with Sys_error s -> prerr_string s
|
|
end
|