Runner.S
val cmd_name : string
val exec_mode : Gillian.Utils.Exec_mode.t
val run_all : test_suite_path:string -> incremental:bool -> unit