[fix]

misonijnik · Mar 6, 2024 · 787728e · 787728e
1 parent 091a114
commit 787728e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/lib/Solver/Z3BitvectorBuilder.cpp b/lib/Solver/Z3BitvectorBuilder.cpp
@@ -7,7 +7,6 @@
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
-#include "Z3Builder.h"
 #include "klee/Config/config.h"
 
 #ifdef ENABLE_Z3

diff --git a/test/lit.cfg b/test/lit.cfg
@@ -196,7 +196,7 @@ config.substitutions.append(
 config.substitutions.append(
     ('%libcxx_include', getattr(config, 'libcxx_include_dir', None)))
 
-if config.target_triple.find("darwin") != -1 or config.target_triple.find("linux") != -1:
+if config.target_triple.find("darwin") != -1:
   config.substitutions.append(
     ('%gcov-files-path', '%basename_t')
   )