once(Goal)
under the execution profiler. If the (xpce)
GUI is enabled this predicate is hooked by library(swi/pce_profile)
and results are presented in a gui that enables navigating the call tree
and jump to predicate implementations. Without the GUI, a simple textual
report is generated. Defined options are:
cpu
or wall
time. The default is CPU
time.true
(all ports), false
(call port only) or classic
(all with some errors).
Accomodates space/accuracy tradeoff building call tree.true
(default false
), show cumulative
output in a textual report.library(test_cover)
.