[ library(util) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

time(Goal)

Call the goal Goal, measure its runtime (cputime) and print the result after success or failure

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).