module Main: sig
.. end
type
mc_engine_type =
| |
Absint |
| |
Armc |
| |
Cegar |
| |
Lart |
val mc_engine_names : (mc_engine_type * string) list
type
tc_engine_type =
| |
APInv_bwd |
| |
APInv_fwd |
| |
UPInv_bwd |
| |
UPInv_fwd |
val tc_engine_names : (tc_engine_type * string) list
val mc_engine_opt : mc_engine_type ref
val tc_engine_opt : tc_engine_type ref
val k_opt : int ref
val k_min_opt : int ref
val k_max_opt : int ref
val tc_discard_states_opt : bool ref
val tc_validate_opt : bool ref
val limit_opt : int ref
val scm_source_file_opt : string option ref
val scm_consistency_check_opt : bool ref
val result_validation_opt : bool ref
val show_statistics_opt : bool ref
val mc_engine : unit -> mc_engine_type
val tc_engine : unit -> tc_engine_type
val k : unit -> int
val k_min : unit -> int
val k_max : unit -> int
val tc_discard_states : unit -> bool
val tc_validate : unit -> bool
val limit : unit -> int
val scm_source_file : unit -> string option
val scm_consistency_check : unit -> bool
val result_validation : unit -> bool
val show_statistics : unit -> bool
val control_arg_spec : unit -> (string * Arg.spec * string) list
val verify_arg_spec : unit -> (string * Arg.spec * string) list