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 /test/Feature/CallToUndefinedExternal.cpp | |
| 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.
Diffstat (limited to 'test/Feature/CallToUndefinedExternal.cpp')
0 files changed, 0 insertions, 0 deletions