diff options
| -rw-r--r-- | include/klee/ArrayExprOptimizer.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/include/klee/ArrayExprOptimizer.h b/include/klee/ArrayExprOptimizer.h index 5c02e44b..88b96573 100644 --- a/include/klee/ArrayExprOptimizer.h +++ b/include/klee/ArrayExprOptimizer.h @@ -53,12 +53,6 @@ enum ArrayOptimizationType { VALUE }; -extern llvm::cl::opt<ArrayOptimizationType> OptimizeArray; - -extern llvm::cl::opt<double> ArrayValueRatio; - -extern llvm::cl::opt<double> ArrayValueSymbRatio; - class Expr; template <class T> class ref; typedef std::map<const Array *, std::vector<ref<Expr>>> array2idx_ty; |