Module AlcotestCheckers.Make

Parameters

Signature

type matcher = {
  1. fail_at_parsing : Outcome.t -> unit;
  2. fail_at_parsing_with : constraint_name:string -> (Outcome.ParserAndCompiler.err -> bool) -> Outcome.t -> unit;
  3. fail_at_exec : Outcome.t -> unit;
  4. finish_in_error_mode : Gillian.Bulk.BranchReasoning.branches -> Outcome.t -> unit;
  5. finish_in_error_mode_with : Gillian.Bulk.BranchReasoning.branches -> constraint_name:string -> (Outcome.Val.t -> Outcome.State.t -> bool) -> Outcome.t -> unit;
  6. finish_in_normal_mode : Gillian.Bulk.BranchReasoning.branches -> Outcome.t -> unit;
  7. finish_in_normal_mode_with : Gillian.Bulk.BranchReasoning.branches -> constraint_name:string -> (Outcome.Val.t -> Outcome.State.t -> bool) -> Outcome.t -> unit;
}