diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/SolverImpl.h | 2 | ||||
| -rw-r--r-- | include/klee/util/ArrayExprHash.h | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/include/klee/SolverImpl.h b/include/klee/SolverImpl.h index 6ea06e2a..e1b1f3d2 100644 --- a/include/klee/SolverImpl.h +++ b/include/klee/SolverImpl.h @@ -103,7 +103,7 @@ namespace klee { virtual char *getConstraintLog(const Query& query) { // dummy - return(NULL); + return nullptr; } virtual void setCoreSolverTimeout(time::Span timeout) {}; diff --git a/include/klee/util/ArrayExprHash.h b/include/klee/util/ArrayExprHash.h index 32a6fc1a..e353881f 100644 --- a/include/klee/util/ArrayExprHash.h +++ b/include/klee/util/ArrayExprHash.h @@ -88,7 +88,7 @@ bool ArrayExprHash<T>::lookupArrayExpr(const Array* array, T& exp) const { exp = it->second; res = true; } - return(res); + return res; } template<class T> @@ -117,7 +117,7 @@ bool ArrayExprHash<T>::lookupUpdateNodeExpr(const UpdateNode* un, T& exp) const exp = it->second; res = true; } - return(res); + return res; } template<class T> |