2 A Unit Test box
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
    • Packages
      • Prolog Unit Tests
        • A Unit Test box
          • Test Unit options
            • begin_tests/1
            • begin_tests/2
          • Writing the test body

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.