| cov_load_data/2 | Reload coverage data from File. |
| cov_property/1 | True when coverage analysis satisfies Property. |
| cov_reset/0 | Discard all collected coverage data. |
| cov_save_data/2 | Save the coverage information to File. |
| coverage/1 | As call(Goal), collecting coverage information while Goal is running. |
| coverage/2 | Collect and optionally report coverage by Goal. |
| report_hook/2 | This hook is called after the data collection. |
| show_coverage/1 | Show collected coverage data. |