- 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.