Module CRunner.Suite

type info

Additional information one may want to attach to a test case in order to help preprocessing it / interpreting its results

val pp_info : Stdlib.Format.formatter -> info -> unit
type category

Tests will be launched by categories to help with the output

val pp_category : Stdlib.Format.formatter -> category -> unit
val skip_category : category -> bool

Return true to skip the given category of test

val create_tests : string -> string -> (string * info * category) list

Takes the source of the file and its code, a list of name, info and category. Each element of the list corresponds to a new test to create

val beforeTest : info -> string -> unit

Preprocessing that is done on each file

val init_suite : string list -> unit

Gives a list of files to setup. This should mostly be used to compute some information using only file names. Files will be read later

val cmd_name : string

This suite will be launched using executable_name bulk cmd_name (for example gillian-js bulk test262

Execution mode that will be used for init in command-line

val filter_source : string -> bool
val beforeEach : unit -> unit