Searched refs:calc_elapsed_time (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dworker.c1578 double calc_elapsed_time() function
1620 cur_time = calc_elapsed_time();

Completed in 31 milliseconds