Backend (gillian.Bulk.Runner.Make.Backend)

Parameters

module Outcome : Outcome.S

module Suite : Suite.S

Signature

type category = Suite.category

type matcher

val check_not_throw : matcher -> (unit -> unit) -> unit

val register_expectations_for_category : 
  expectation:(matcher -> 'test -> 'outcome -> unit) ->
  test_runner:(matcher -> 'test -> 'outcome) ->
  category ->
  (string, 'test) Stdlib.Hashtbl.t ->
  unit

val run : unit -> unit