gillian » Gillian » Debugger » Utils » Match_map » Make_builder » Verification » SPState » SMatcher » Logging » MatchRecoveryReport

Module Logging.MatchRecoveryReport

type t = {

1. astate : AstateRec.t;
2. tactic : Engine.Matcher.recovery_tactic;
3. num_results : int;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or