wrapper/options.mli

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