diff options
author | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 11:29:19 -0700 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 11:29:32 -0700 |
commit | 2ce22af434e383cf0c2c65e4da829de630b6cd9d (patch) | |
tree | c49e4a0461ffa7c95adfa0fefd15bbc10b654c1f /tools/Makefile | |
parent | 91eab8b92526a8215ebc9ed50da5b1d405533ac7 (diff) | |
download | klee-2ce22af434e383cf0c2c65e4da829de630b6cd9d.tar.gz |
Add KLEE specific DEBUG macros.
- This allows us to build in +Asserts mode even when LLVM isn't (by disabling the checks in that mode). - Eventually it would be nice to just move off of LLVM's DEBUG infrastructure entirely and just have our own copy, but this works for now. - Fixes #150.
Diffstat (limited to 'tools/Makefile')
0 files changed, 0 insertions, 0 deletions