[
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