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.
