Module Tai.Main

Main function of the analyser

val bench_record_time : unit -> unit
val bench_return_time : unit -> int
val print_dot_file : string -> (Stdlib.Format.formatter -> 'a -> unit) -> 'b -> unit
type gen_graph = {
  1. time : int;
  2. size : unit -> int;
  3. print : unit -> unit;
  4. to_dot : string -> unit;
  5. assertions_and_dead_ends : unit -> int * int;
}
val main : Cli.arguments -> unit
val run : unit -> unit