One entry of the table run_tests takes: a test's name, procedure, source location and flags.
Fields
- name: string
- body: (t: *Test)
- location: Source_Code_Location
- flags: Test_Flags
Jacket
/
Jacket
One entry of the table run_tests takes: a test's name, procedure, source location and flags.