| plunit.pl -- Unit Testing | ||
|---|---|---|
| begin_tests/1 | Start a test-unit. | |
| begin_tests/2 | Start a test-unit. | |
| current_test/5 | True when a test with the specified properties is loaded. | |
| current_test_unit/2 | True when a Unit is a current unit test declared with Options. | |
| end_tests/1 | Close a unit-test module. | |
| load_test_files/1 | Load .plt test-files related to loaded source-files. | |
| run_tests/0 | Run tests and report about the results. | |
| run_tests/1 | Run tests and report about the results. | |
| run_tests/2 | Run tests and report about the results. | |
| running_tests/0 | Print the currently running test. | |
| set_test_options/1 | Specifies how to deal with test suites. | |
| test_report/1 | Produce reports on test results after the run. | |
| unit_module/2 | | |
| message_hook/3 | Redefine printing some messages. | |
| test_cover.pl -- Clause coverage analysis | ||
| report_hook/2 | This hook is called after the data collection. | |
| show_coverage/1 | Report on coverage by Goal. | |
| show_coverage/2 | Report on coverage by Goal. | |