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/Executor.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/Core/Executor.cpp') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 1e1a142b..f7c71e8d 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -354,6 +354,9 @@ Executor::Executor(LLVMContext &ctx, const InterpreterOptions &opts, initializeSearchOptions(); + if (OnlyOutputStatesCoveringNew && !StatsTracker::useIStats()) + klee_error("To use --only-output-states-covering-new, you need to enable --output-istats."); + if (DebugPrintInstructions.isSet(FILE_ALL) || DebugPrintInstructions.isSet(FILE_COMPACT) || DebugPrintInstructions.isSet(FILE_SRC)) { -- cgit 1.4.1