Module Option.Main


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