diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-16 18:38:27 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-17 09:47:48 +0000 |
| commit | b2e64702cc1ebb1ffe01a32ebde0f179bf09c337 (patch) | |
| tree | f9efe4c3529ab506817b4a34008a0e16081fc18e /Makefile | |
| parent | ff324507b28c5ad9a2331f475a453c571d04d058 (diff) | |
| download | klee-b2e64702cc1ebb1ffe01a32ebde0f179bf09c337.tar.gz | |
Add LeakSanitizer (component of AddressSanitizer) suppression file
which is required to suppress all the leaks I'm currently seeing in KLEE when running ``make unittests`` and ``make check``. Ideally there should be no leaks but we aren't there yet. Hopefully at some point we won't need to suppress any leaks and then we can have a TravisCI build that builds with ASan. The leak of the expression objects when running the executor is worrying and I will investigate this next.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions