Module `AlcotestRunner.Make`

Parameters

module Outcome : Bulk.Outcome.S

module Suite : Bulk.Suite.S

module Expectations : sig ... end

Signature

val cmd_name : string

val exec_mode : Gillian.Utils.Exec_mode.t

val run_all : test_suite_path:string -> incremental:bool -> unit