(** This module defines the wrapper general options. *)

(** {2 Timeout} *)
val set_timeout : int -> unit
val get_timeout : unit -> int

(** {2 Timeout} *)
val set_prover : string -> unit
val get_prover : unit -> string

(** {2 Timeout} *)
val request_gui   : bool -> unit
val gui_requested : unit -> bool

(** {2 Verbosity} *)
val set_verbose_level : int -> unit
val get_verbose_level : unit -> int

(** {2 Verification request} *)
val request_verify   : bool -> unit
val verify_requested : unit -> bool

(** {2 Test request} *)
val request_test   : bool -> unit
val test_requested : unit -> bool

(** {2 Test cases number} *)
val set_test_cases : int -> unit
val get_test_cases : unit -> int

(** {2 Test cycles number} *)
val set_test_cycles : int -> unit
val get_test_cycles : unit -> int

(** {2 Random int minimum value} *)
val set_test_min_int : int -> unit
val get_test_min_int : unit -> int

(** {2 Random int maximum value} *)
val set_test_max_int : int -> unit
val get_test_max_int : unit -> int