Closed mcpat closed 6 years ago
Timeout calculations should always (where possible) be done using a monotonic time source. This commit introduces that and discards the wall-clock time approach.
This commit resolves #70
Timeout calculations should always (where possible) be done using a monotonic time source. This commit introduces that and discards the wall-clock time approach.
This commit resolves #70