CRunner.Expectations
type matcher = Alcotest_runner.AlcotestCheckers.Make(Outcome).matcher
type outcome = Outcome.t
type category = Suite.category
type info = Suite.info
val return_value_is_zero : Gillian.Gil_syntax.Literal.t -> 'a -> bool
val expectation : matcher -> 'a -> Outcome.t -> unit