8 library(test_cover): Clause coverage analysis
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(test_cover)).
Source[det]assert_cover(+Port, +Frame)
Assert coverage of the current clause. We monitor two ports: the unify port to see which clauses we entered, and the exit port to see which completed successfully.
ClioPatria (version no GIT?)