From 9efe135e3072c115af92c3f163c9d3e12ca57fb1 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 14 Apr 2016 19:35:02 +0100 Subject: [PATCH] Disabling --solver-optimize-divides by default, as the optimization is currently buggy, and we keep hitting this bug... See https://github.com/klee/klee/issues/334 for details. --- lib/Basic/CmdLineOptions.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp index 1724ea0664..a0fbda0333 100644 --- a/lib/Basic/CmdLineOptions.cpp +++ b/lib/Basic/CmdLineOptions.cpp @@ -61,8 +61,8 @@ UseForkedCoreSolver("use-forked-solver", llvm::cl::opt CoreSolverOptimizeDivides("solver-optimize-divides", - llvm::cl::desc("Optimize constant divides into add/shift/multiplies before passing to core SMT solver (default=on)"), - llvm::cl::init(true)); + llvm::cl::desc("Optimize constant divides into add/shift/multiplies before passing to core SMT solver (default=off)"), + llvm::cl::init(false)); /* Using cl::list<> instead of cl::bits<> results in quite a bit of ugliness when it comes to checking