Cgil_lib.CRunner
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