Parameter Backend.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 filter_source : string -> bool

Takes the name of a file, decides if this file should be analysed. This should at least filter based on extention.

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 beforeEach : unit -> unit

Lifecyle function that will be called before each test

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