diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 16:39:02 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-05-02 16:39:02 +0000 |
| commit | bae2fa50234b0a575a18a119019e5d96f7ff7ecf (patch) | |
| tree | 732d5cc2ae49831108705505840432dc2f4140a8 /utils/hacks/TreeGraphs/Animate.py | |
| parent | bbfe70007076f28ddbc58abc0eeb7f6dc95e2036 (diff) | |
| download | klee-bae2fa50234b0a575a18a119019e5d96f7ff7ecf.tar.gz | |
Compile klee-libc with -D__NO_INLINE__, to prevent glibc from using inline
definitions of putchar and atoi. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102868 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'utils/hacks/TreeGraphs/Animate.py')
0 files changed, 0 insertions, 0 deletions