This allows an alternative naming scheme for the test hierarchy in the DSL:
Units N.S. / Tab O.S.
Testcases N.S. / Contexts O.S.
Script N.S. / Testcase O.S. (a testcase N.S. has one "script", which consists of a number of elements)
Tests (not actually named)
The old / existing names are still supported, and probably will keep being supported: they might be useful for Dodona users, and internally TESTed still uses the Dodona terminology.
Fixes #406.
This allows an alternative naming scheme for the test hierarchy in the DSL:
The old / existing names are still supported, and probably will keep being supported: they might be useful for Dodona users, and internally TESTed still uses the Dodona terminology.