8 Coverage analysis
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(test_cover)).(can be autoloaded)
Sourceshow_coverage(:Goal, +Modules)
As show_coverage/1, but only report on modules in the list Modules.
ClioPatria (version V3.1.1-40-g9d9e003)