#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