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 /Makefile.common | |
| 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 'Makefile.common')
0 files changed, 0 insertions, 0 deletions