Alternatively, tests for a source-file can be placed in another file alongside the file to be tested. Test files use the extension
.plt. The predicate load_test_files/1 can load all files that are related to source-files loaded into the current project.
At any time, the tests can be executed by loading the program and running run_tests/0 or run_tests(+Unit).
- Run all test-units.
- Run only the specified tests. Spec can be a list to run multiple tests. A single specification is either the name of a test unit or a term <Unit>:<Tests>, running only the specified test. <Tests> is either the name of a test or a list of names. Running particular tests is particularly useful for tracing a test:6Unfortunately the body