diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 18:06:13 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 18:06:13 -0700 |
| commit | f3c83eaa5506da9776c24416faba4c45a622a1ef (patch) | |
| tree | 6bc8a5e73b2629e93b2be506387f77dda07f8b72 /include | |
| parent | f31f54e5cfeebd956f49920d680a167507400994 (diff) | |
| download | klee-f3c83eaa5506da9776c24416faba4c45a622a1ef.tar.gz | |
[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), which the LLVM JIT can't handle.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions