diff options
| -rw-r--r-- | include/klee/Expr.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index 09b288a8..8d5306f8 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -599,10 +599,10 @@ public: stpInitialArray(0) { assert((isSymbolicArray() || constantValues.size() == size) && "Invalid size for constant array!"); -#ifdef NDEBUG +#ifndef NDEBUG for (const ref<ConstantExpr> *it = constantValuesBegin; it != constantValuesEnd; ++it) - assert(it->getWidth() == getRange() && + assert((*it)->getWidth() == getRange() && "Invalid initial constant value!"); #endif } |