- run_tests is semidet
- run_tests(+TestSet) is semidet
- Run tests and report about the results. The predicate
run_tests/0 runs all known tests that are not blocked. The
predicate run_tests/1 takes a specification of tests to run.
This is either a single specification or a list of
specifications. Each single specification is either the name of
a test-unit or a term <test-unit>:<test>, denoting a single test
within a unit.