diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-06-16 21:59:02 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-02 17:30:55 +0100 |
| commit | 9cace3f305561da4a635d753b5c35f268dd22b2e (patch) | |
| tree | fd88df44f0a5a97df81e86ff0f2f3b47f49623c7 /runtime/Intrinsic/Makefile.cmake.bitcode | |
| parent | 95cad2afcb5a25eec9774c30bc7f5deb77fa387b (diff) | |
| download | klee-9cace3f305561da4a635d753b5c35f268dd22b2e.tar.gz | |
test/lit.cfg: remove obsolete hack from (LLVM < 3.0 is no longer supported)
Diffstat (limited to 'runtime/Intrinsic/Makefile.cmake.bitcode')
0 files changed, 0 insertions, 0 deletions