1 (** This module defines the wrapper general options. *)
4 val set_timeout : int -> unit
5 val get_timeout : unit -> int
8 val set_prover : string -> unit
9 val get_prover : unit -> string
12 val request_gui : bool -> unit
13 val gui_requested : unit -> bool
16 val set_verbose_level : int -> unit
17 val get_verbose_level : unit -> int
19 (** {2 Verification request} *)
20 val request_verify : bool -> unit
21 val verify_requested : unit -> bool
23 (** {2 Test request} *)
24 val request_test : bool -> unit
25 val test_requested : unit -> bool
27 (** {2 Test cases number} *)
28 val set_test_cases : int -> unit
29 val get_test_cases : unit -> int
31 (** {2 Test cycles number} *)
32 val set_test_cycles : int -> unit
33 val get_test_cycles : unit -> int
35 (** {2 Random int minimum value} *)
36 val set_test_min_int : int -> unit
37 val get_test_min_int : unit -> int
39 (** {2 Random int maximum value} *)
40 val set_test_max_int : int -> unit
41 val get_test_max_int : unit -> int