Disabling --solver-optimize-divides by default, as the optimization i…

…s currently buggy, and we keep hitting this bug... See klee#334 for details.
rtrembecky · Apr 14, 2016 · 9efe135 · 9efe135
1 parent 7616398
commit 9efe135
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
@@ -61,8 +61,8 @@ UseForkedCoreSolver("use-forked-solver",
 
 llvm::cl::opt<bool>
 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