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

Module V.Debug

val get_tests_for_prog :
  init_data:State.init_data ->
  prog_t ->
  Engine.MP.preds_tbl_t * proc_tests

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