TIMER

TIMER defines the name of the cost function, used for execution cost measurement, if timing instrumentation has been selected.

It is the user's responsibility to ensure that the function specified really exists. The cost function must be parameterless and it has to return a value of a type compatible with clock_t defined in the C compiler's library header file time.h.

Example:
TIMER=clock