gillian » Gillian » Debugger » Lifter » Gil_lifter » Make » Verifier » Debug

Module Verifier.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