diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-07-11 16:32:02 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-07-11 16:32:02 +0000 |
| commit | 893b6bbd36fe7b4befb4f754f79d78aa84406e10 (patch) | |
| tree | 5bcc98e46650511f8d2f13cd43f72dd8d98ebdcb /www/KQuery.html | |
| parent | 54c7fa612d3c46cb49b809c11c1400564310bd29 (diff) | |
| download | klee-893b6bbd36fe7b4befb4f754f79d78aa84406e10.tar.gz | |
Bug fix by Jonathan Neuschäfer: "Without this patch
NotExpr::computeHash() will have a local variable with the name "hashValue" and assign the newly computed hash to that instead of the member variable with the same name that should be set by the computeHash method of every Expr subclass." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186102 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/KQuery.html')
0 files changed, 0 insertions, 0 deletions