diff options
author | Dan Liew <delcypher@gmail.com> | 2015-12-23 11:36:57 +0000 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2015-12-23 11:36:57 +0000 |
commit | 3159c9189eed89076d22d8edb7c07a91cb7a1155 (patch) | |
tree | d0d77ddb1672fe12af4839217dbfc67d3bc80dcf /runtime | |
parent | 55944ebb2f05e4954a40dcf95af362e7a550a2f4 (diff) | |
parent | f5ff9cbb0e7d5c34569b3d819823751be4ffcf34 (diff) | |
download | klee-3159c9189eed89076d22d8edb7c07a91cb7a1155.tar.gz |
Merge pull request #321 from delcypher/fix_parser_leak
Fix a leak detected by ASan in the KQuery parser where on destruction of
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions