10.26.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 all individual tests of all test-units.


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

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:

Send feedback on this subject.