#ifndef TIMER_H_
#define TIMER_H_

#include <sys/times.h>		// needed for timer()
#include <time.h>		// needed for timer()

// ---- function to return elapsed time since last reboot, in seconds ----
double timer(void) {
  struct tms t;
  clock_t ticks = times(&t);
  return ((double) ticks)/ CLK_TCK;
}

#endif // TIMER_H_