diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-27 00:00:04 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-28 15:07:49 +0000 |
| commit | 48d20142488fbd644b1be53f42d30517adc59f6f (patch) | |
| tree | 807b23a6578a43de826e87b336ce86655d7f93ae /lib | |
| parent | f27cf86466d75c71a302abe5e0a3ffcad1670373 (diff) | |
| download | klee-48d20142488fbd644b1be53f42d30517adc59f6f.tar.gz | |
Fix bug in implementation of `NotExpr`. It should not implement
`compareContents()`. This bug would not have affected correctness but it would have affected performance because if `Expr::compare()` was called on two structually equal `NotExpr` then its children would be checked for structually equality twice - once in NotExpr::compareContents()` and once in `Expr::compare()`. This partially addresses #515 .
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions