gillian » Gillian » Debugger » Lifter » Gil_fallback_lifter » Make » TLLifter » V » Debug

Module V.Debug

val get_tests_for_prog : init_data:SPState.init_data -> prog_t -> proc_tests

val analyse_result : t -> Logging.Report_id.t -> SAInterpreter.result_t -> bool