From 9f11eababd767b012b623806b40fa0647affa47e Mon Sep 17 00:00:00 2001
From: Andrea Mattavelli <andreamattavelli@gmail.com>
Date: Mon, 9 Oct 2017 15:37:14 +0100
Subject: Fixed initialization of distance to uncovered instructions when KLEE
 relies on default searchers

---
 lib/Core/Executor.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/Core/Executor.cpp')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index a0a6f7ea..673476f6 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -352,6 +352,8 @@ Executor::Executor(LLVMContext &ctx, const InterpreterOptions &opts,
   this->solver = new TimingSolver(solver, EqualitySubstitution);
   memory = new MemoryManager(&arrayCache);
 
+  initializeSearchOptions();
+
   if (DebugPrintInstructions.isSet(FILE_ALL) ||
       DebugPrintInstructions.isSet(FILE_COMPACT) ||
       DebugPrintInstructions.isSet(FILE_SRC)) {
-- 
cgit 1.4.1