diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-10-09 19:37:55 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-10-09 20:13:08 +0100 |
commit | 10b800db2c0639399ca2bdc041959519c54f89e5 (patch) | |
tree | a3e4edf8ed4943e72484f2ebc0d471065009ecdc /test/Feature | |
parent | 492565b392831866fefef748917705a824f6f29f (diff) | |
download | klee-10b800db2c0639399ca2bdc041959519c54f89e5.tar.gz |
Add a hack for Travis so that llvm-gcc can build native executables.
This could be useful if KLEE tests want to use the bitcode compiler as a native compiler.
Diffstat (limited to 'test/Feature')
0 files changed, 0 insertions, 0 deletions