about summary refs log tree commit diff homepage
path: root/lib/Module/WorkaroundLLVMPR39177.cpp
AgeCommit message (Collapse)Author
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-03-05workaround for LLVM PR39177Julian Büning
provides a workaround for LLVM bug PR39177, which affects LLVM versions 3.9 - 7.0.0: https://bugs.llvm.org/show_bug.cgi?id=39177 This commit is intended to be reverted once support for LLVM versions <= 7 is dropped from KLEE.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 13:35:19 +0000