diff options
| author | Dan Liew <delcypher@gmail.com> | 2014-04-24 14:14:22 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2014-04-24 14:14:22 +0100 |
| commit | 9dd4766a3f58070501ed6498e6aa42c14776cc0f (patch) | |
| tree | 01cfa9cf86783c002368e43197d92ca8b27f3925 /lib/Solver/CexCachingSolver.cpp | |
| parent | 169b4eed5b29427611c7d4211de5c1ab16adb3cb (diff) | |
| parent | 016120fd8a8a2cac8457b66b6d2a41e0b5093889 (diff) | |
| download | klee-9dd4766a3f58070501ed6498e6aa42c14776cc0f.tar.gz | |
Merge pull request #116 from MartinNowack/fix_malloc
Fix handling of memory usage in KLEE.
Diffstat (limited to 'lib/Solver/CexCachingSolver.cpp')
0 files changed, 0 insertions, 0 deletions