Runner (gillian.Bulk.Runner)

module type S = sig ... end

module Make
  (Backend : 
    functor (Outcome : Outcome.S) ->
    functor (Suite : Suite.S) ->
    Backend.S with type category = Suite.category)
  (Outcome : Outcome.S)
  (Suite : Suite.S)
  (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) : 
  S

type t = (module S)

val cmd_name : t -> string

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

val exec_mode : t -> Gillian.Utils.Exec_mode.t

module DummyRunners : sig ... end