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.