- set_test_options(+Options)
- Specifies how to deal with test suites. Defined options are:
- load(+Load)
- Whether or not the tests must be loaded. Values are
never, always, normal (only if not optimised)
- run(+When)
- When the tests are run. Values are
manual, make
or make(all).
- silent(+Bool)
- If
true (default false), report successful tests
using message level silent, only printing errors and
warnings.
- sto(+Bool)
- How to test whether code is subject to occurs check
(STO). If
false (default), STO is not considered.
If true and supported by the hosting Prolog, code
is run in all supported unification mode and reported
if the results are inconsistent.
- cleanup(+Bool)
- If
true (default =false), cleanup report at the end
of run_tests/1. Used to improve cooperation with
memory debuggers such as dmalloc.
- concurrent(+Bool)
- If
true (default =false), run all tests in a block
concurrently.