10.46.4 Running the Test-Suite

At any time, the tests can be executed by loading the program and running run_tests/[0,1,2]:

run_tests

Run all individual tests of all test-units.

run_tests(Spec)

run_tests(Spec,Options)

Run only the specified tests. The options quiet and verbose (the default) are available; see below. Spec should be one of:

• a term Unit where Unit is the name of a test-unit, denotes all individual tests of the test-unit Unit, or
• a term Unit:Test where Unit is the name of a test-unit and Test is one of its individual tests, denotes the given test only, or
• a term Unit:List where Unit is the name of a test-unit and List is a list of its individual tests, denotes the given list of tests, or
• finally, a list of terms of one of the above forms.

Running single tests is particularly useful for tracing a test, e.g.:

     | ?- trace, run_tests(lists:member).

run_tests/[0,1,2] prints a report during execution. The quiet options suppresses informational messages; in its absence, messages are printed in full as follows.

First, each test-unit report begins with a header:

     % PL-Unit: Unit

Then comes a message (success or failure) for all specified tests not marked as blocked or fixme. Success messages are informational; others are error or warning messages. Any errors encountered while executing options are also reported. To close the test-unit, a footer is printed:

     % done

After all test-units, a summary report is printed, stating:

• how many tests passed resp. failed
• which tests were blocked
• details for each test marked as fixme