diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2019-07-30 18:45:42 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-10-29 15:38:02 -0400 |
| commit | 4eb050e2999bef42f70dcc72a8ee283f8803ce67 (patch) | |
| tree | 10b6bc4ade4040661142ae57f57639b402194152 /lib/Core/ExecutorTimerInfo.h | |
| parent | f2c9085cab7efd4468ffe44190547445fe5b15fb (diff) | |
| download | klee-4eb050e2999bef42f70dcc72a8ee283f8803ce67.tar.gz | |
ExecutorTimers: refactor and move to support lib
- moves timer handling from Executor into support lib - introduces TimerGroup, removes TimerInfo/WriteStatsTimer/UpdateReachableTimer/WriteIStatsTimer classes - removes ExecutorTimers.cpp and ExecutorTimerInfo.h - removes -max-instruction-time flag (see #1114)
Diffstat (limited to 'lib/Core/ExecutorTimerInfo.h')
| -rw-r--r-- | lib/Core/ExecutorTimerInfo.h | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/lib/Core/ExecutorTimerInfo.h b/lib/Core/ExecutorTimerInfo.h deleted file mode 100644 index 66ba5c2e..00000000 --- a/lib/Core/ExecutorTimerInfo.h +++ /dev/null @@ -1,42 +0,0 @@ -//===-- ExecutorTimerInfo.h -------------------------------------*- C++ -*-===// -// -// The KLEE Symbolic Virtual Machine -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// Class to wrap information for a timer. -// -//===----------------------------------------------------------------------===// - -#ifndef KLEE_EXECUTORTIMERINFO_H -#define KLEE_EXECUTORTIMERINFO_H - -#include "klee/Internal/System/Time.h" - -namespace klee { - -class Executor::TimerInfo { -public: - Timer *timer; - - /// Approximate delay per timer firing. - time::Span rate; - /// Wall time for next firing. - time::Point nextFireTime; - -public: - TimerInfo(Timer *_timer, time::Span _rate) - : timer(_timer), - rate(_rate), - nextFireTime(time::getWallTime() + rate) {} - ~TimerInfo() { delete timer; } -}; - - -} - - -#endif /* KLEE_EXECUTORTIMERINFO_H */ |