SRunner (gillian-c.Cgil

module SMemory : sig ... end

module Outcome : sig ... end

module Suite : sig ... end

module Expectations : sig ... end

include sig ... end

val cmd_name : string

val exec_mode : Gillian.Utils.Exec_mode.t

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