diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-15 22:29:52 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-05-17 16:33:24 +0100 |
| commit | 89c7505012b7c03b603bd527c4fd5e340bfb35cf (patch) | |
| tree | fcf99e6050db409100b3d817054d1b97625bb13b /lib/Core/StatsTracker.cpp | |
| parent | 8bec949fc84d8fe8dacbf38ff123b404f1eb4737 (diff) | |
| download | klee-89c7505012b7c03b603bd527c4fd5e340bfb35cf.tar.gz | |
Abort execution if --only-output-states-covering-new is enabled but its dependency --output-istats is not
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
| -rw-r--r-- | lib/Core/StatsTracker.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index 83e1844f..d9ec35aa 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -110,6 +110,10 @@ bool StatsTracker::useStatistics() { return OutputStats || OutputIStats; } +bool StatsTracker::useIStats() { + return OutputIStats; +} + namespace klee { class WriteIStatsTimer : public Executor::Timer { StatsTracker *statsTracker; |