Module Start.Exploration_statsSource
Sourceval get_paths : unit -> int Sourceval get_completed_paths : unit -> int Sourceval get_unknown_paths : unit -> int Sourceval get_pending_paths : unit -> int Sourceval get_total_asserts : unit -> int Sourceval get_failed_asserts : unit -> int Sourceval get_branches : unit -> int Sourceval get_max_depth : unit -> int Sourceval get_instructions : unit -> int Sourceval get_unique_insts : unit -> int Sourceval get_time : unit -> float Sourceval reset : unit -> unit Sourceval add_path : unit -> unit Sourceval terminate_path : unit -> unit Sourceval interrupt_path : unit -> unit Sourceval add_assert : unit -> unit Sourceval add_failed_assert : unit -> unit Sourceval add_branch : unit -> unit Sourceval update_depth : int -> unit Sourceval add_instructions : int -> unit