- set_test_options(+Options)
- Defined options are:
- load(+Load)
- 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.
- run(+Run)
- 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.
- silent(+Bool)
- When
true (default is false), send
informational messages using the‘silent' level. In practice this
means there is no output except for errors.
- sto(+Bool)
- When
true (default false), assume tests are
not subject to occurs check (non-STO) and verify this if the Prolog
implementation supports testing this.
- load_test_files(+Options)
- Load
.plt test-files that belong to the currently loaded
sources.
- running_tests
- 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 test appears to be blocking.
- test_report(+What)
- Print report on the executed tests. What defines the type of
report. Currently this only supports
fixme, providing
details on how the fixme-flagged tests proceeded.
