Make (gillian.Alcotest_runner.AlcotestBackend.Make)

Parameters

module Outcome : Gillian.Bulk.Outcome.S

module Suite : Gillian.Bulk.Suite.S

Signature

type category = Suite.category

type matcher = AlcotestCheckers.Make(Outcome).matcher

val sanitize_string : string -> string

module TestFramework : sig ... end

val check_not_throw : 'a -> (unit -> 'b) -> 'b

val test_table : 
  (Suite.category, unit Alcotest.test_case list) Stdlib.Hashtbl.t

val expectation_for_one_test : 
  (AlcotestCheckers.Make(Outcome).matcher -> 'a -> 'b -> Alcotest.return) ->
  (AlcotestCheckers.Make(Outcome).matcher -> 'a -> 'b) ->
  string ->
  'a ->
  unit Alcotest.test_case

val register_expectations_for_category : 
  expectation:
    (AlcotestCheckers.Make(Outcome).matcher -> 'a -> 'b -> Alcotest.return) ->
  test_runner:(AlcotestCheckers.Make(Outcome).matcher -> 'a -> 'b) ->
  Suite.category ->
  (string, 'a) Stdlib.Hashtbl.t ->
  unit

module AlcotestCore : sig ... end

val run : unit -> Alcotest.return Alcotest.Monad.Identity.t