Module Stats.ExplorationSource

Parameters

Signature

include Types.EXPLORATION_STATISTICS
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_status : Types.status -> 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 pp : Format.formatter -> unit -> unit
Sourceval to_toml : unit -> Toml.Types.table
Sourceval reset : unit -> unit
Sourceval add_path : unit -> unit
Sourceval terminate_path : Types.status -> 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
Sourceval register_address : Binsec.Virtual_address.t -> unit