- Reference manual
- Prolog Unit Tests
do not want the test-suite to end up in the final application. There are several ways to achieve this. One is to place all tests in separate files and not to load the tests when creating the production environment. Alternatively, use the directive below before loading the application.
- Defined options are:
- Determines whether or not tests are loaded. When
never, everything between begin_tests/1 and end_tests/1 is simply ignored. When
always, tests are always loaded. Finally, when using the default value
normal, tests are loaded if the code is not compiled with optimisation turned on.
- Specifies when tests are run. Using
manual, tests can only be run using run_tests/0 or run_tests/1. Using
make, tests will be run for reloaded files, but not for files loaded the first time. Using
make(all)make/0 will run all test-suites, not only those that belong to files that are reloaded.
false), send informational messages using the‘silent' level. In practice this means there is no output except for errors.
false), assume tests are not subject to occurs check (non-STO) and verify this if the Prolog implementation supports testing this.
.plttest-files that belong to the currently loaded sources.
- Print all currently running tests to the terminal. It can be used to find running thread in multi-threaded test operation or find the currently running test if a te