|Did you know ...||Search Documentation:|
|Controlling the test suite|
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.
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.
fixme, providing details on how the fixme-flagged tests proceeded.