2.1 Test Unit options

begin_tests(+Name)

Start named test-unit. Same as begin_tests(Name, []).

begin_tests(+Name, +Options)

Start named test-unit with options. Options provide conditional processing, setup and cleanup similar to individual tests (second argument of test/2 rules).

Defined options are:

blocked(+Reason)

Test-unit has been blocked for the given Reason.

condition(:Goal)

Executed before executing any of the tests. If Goal fails, the test of this unit is skipped.

setup(:Goal)

Executed before executing any of the tests.

cleanup(:Goal)

Executed after completion of all tests in the unit.

sto(+Terms)

Specify default for subject-to-occurs-check mode. See section 2 for details on the sto option.