#2721: Cactus does not detect `gettimeofday` timer
Reporter:Erik Schnetter
Status:new
Milestone:
Version:
Type:bug
Priority:major
Component:

The gettimeofday timer is not available any more in Cactus. This is the main timer used by Cactus to measure elapsed time.

PR https://bitbucket.org/cactuscode/cactus/pull-requests/153 corrects this.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2721/cactus-does-not-detect-gettimeofday-timer