Commit 99a05cad authored by François Bobot's avatar François Bobot

store less informations,accept little bigger instantiations(common case)

parent 354803d2
......@@ -23,7 +23,7 @@ open Why
open Worker
(** max scheduled proofs / max running proofs *)
let coef_buf = 2
let coef_buf = 1
let async = ref (fun f () -> f ())
......
......@@ -32,7 +32,7 @@ let meta_complete = register_meta_excl
"encoding_instantiate : complete" [MTstring]
exception TooMuchInstantiation of int
let max_instantiation = 500 (* 7 ** 3 = 343 *)
let max_instantiation = 512 (* 7 ** 3 = 343 *)
let () = Exn_printer.register (fun fmt exn ->
match exn with
......
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