Commit 0ea21704 authored by Sylvain Dailler's avatar Sylvain Dailler

Added default value for timeout (as done in former session).

parent 2af6098d
......@@ -1765,7 +1765,8 @@ let (_ : GMenu.image_menu_item) =
(***********************)
let () =
Scheduler.timeout ~ms:100 (fun () -> List.iter treat_notification (get_notified ()); true);
Scheduler.timeout ~ms:Controller_itp.default_delay_ms
(fun () -> List.iter treat_notification (get_notified ()); true);
(* temporary *)
vpan222#set_position 500;
goals_view#expand_all ();
......
......@@ -17,6 +17,8 @@ let debug_sched = Debug.register_info_flag "scheduler"
and@ transformation@ applications."
let debug_call_prover = Debug.lookup_flag "call_prover"
let default_delay_ms = 100 (* 0.1 seconds *)
exception Noprogress
......@@ -364,7 +366,7 @@ let run_timeout_handler () =
if not !timeout_handler_running then
begin
timeout_handler_running := true;
S.timeout ~ms:125 timeout_handler;
S.timeout ~ms:default_delay_ms timeout_handler;
end
let schedule_proof_attempt_r ?proof_script c id pr ~counterexmp ~limit ~callback =
......
......@@ -14,7 +14,6 @@
open Session_itp
(** {2 State of a proof or transformation in progress} *)
type proof_attempt_status =
......@@ -44,6 +43,9 @@ exception Noprogress
(** {2 Signature for asynchronous schedulers} *)
(** Default delay for the scheduler timeout *)
val default_delay_ms: int
module type Scheduler = sig
(** Any module of this signature should implement a scheduler,
......
......@@ -1370,7 +1370,7 @@ end
end
let _ =
S.timeout ~ms:100 treat_requests;
S.timeout ~ms:default_delay_ms treat_requests;
(* S.idle ~prio:1 treat_requests; *)
C.register_observer update_monitor
......
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