diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-10 14:27:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-10 14:27:19 +0000 |
| commit | 7366b149824a6c899fa804674574d5b21b5171a6 (patch) | |
| tree | 7c6552b502893c8c0b297840f7239bc9162eb952 | |
| parent | 253796d20214c0886cbc84fbabf0ba4bfd28a8db (diff) | |
| parent | 9579018ccaedcef5ee6c249512b1d4f84028d6db (diff) | |
| download | klee-7366b149824a6c899fa804674574d5b21b5171a6.tar.gz | |
Merge pull request #355 from delcypher/wrong_not_expr_in_enum
Fix incorrect position of ``Not`` in ``Expr::Kind``
| -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, |