Make (gillian.Bulk.Runner.Make)

Parameters

module Backend
  (Outcome : Outcome.S)
  (Suite : Suite.S) : 
  Backend.S with type category = Suite.category

module Outcome : Outcome.S

module Suite : Suite.S

module Expectations : 
  Expectations.S
    with type info = Suite.info
     and type category = Suite.category
     and type matcher = Backend(Outcome)(Suite).matcher
     and type outcome = Outcome.t

Signature

val cmd_name : string

val exec_mode : Gillian.Utils.Exec_mode.t

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