From 89c7505012b7c03b603bd527c4fd5e340bfb35cf Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 15 May 2018 22:29:52 +0100 Subject: Abort execution if --only-output-states-covering-new is enabled but its dependency --output-istats is not --- lib/Core/StatsTracker.cpp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/Core/StatsTracker.cpp') 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; -- cgit 1.4.1