diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-05-30 17:12:30 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-06-04 11:55:50 +0200 |
| commit | 32892a0c836c6153808e2c821b86b5d36db51cbf (patch) | |
| tree | 6cd97b9b18a5e1ce874be126dcd134bf67ee5205 /include | |
| parent | ade2bf89486ae2e44571fb547dbc96488fc3dab4 (diff) | |
| download | klee-32892a0c836c6153808e2c821b86b5d36db51cbf.tar.gz | |
Remove parenthesis around returns, as reported and discussed in #891
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> |