diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-03-09 17:28:57 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-03-09 17:35:55 +0000 |
| commit | 9579018ccaedcef5ee6c249512b1d4f84028d6db (patch) | |
| tree | 7c6552b502893c8c0b297840f7239bc9162eb952 | |
| parent | 253796d20214c0886cbc84fbabf0ba4bfd28a8db (diff) | |
| download | klee-9579018ccaedcef5ee6c249512b1d4f84028d6db.tar.gz | |
Fix incorrect position of ``Not`` in ``Expr::Kind`` which meant it was included
in the range of ``BinaryKindFirst`` and ``BinaryKindLast``. ``NotExpr`` is a unary expr not a binary expression.
| -rw-r--r-- | include/klee/Expr.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index 9ad1b49a..d70cfdc9 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -128,6 +128,9 @@ public: ZExt, SExt, + // Bit + Not, + // All subsequent kinds are binary. // Arithmetic @@ -140,7 +143,6 @@ public: SRem, // Bit - Not, And, Or, Xor, |