#include #include "usertime.h" static clock_t cputime; void cputime_reset(void) { cputime = clock(); } double cputime_get(void) { return (double) (clock() - cputime) / CLOCKS_PER_SEC; }