| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-05-04 | tests: adjust to new summary output | Frank Busse | |
| 2020-10-12 | address MartinNowack's remaining feedback | Julian Büning | |
| 2020-10-12 | Exception handling only for LLVM >= 8.0.0 | Julian Büning | |
| 2020-10-12 | Implemented support for C++ Exceptions | Felix Rath | |
| We implement the Itanium ABI unwinding base-API, and leave the C++-specific parts to libcxxabi. Co-authored-by: Lukas Wölfer <lukas.woelfer@rwth-aachen.de> | |||
| 2019-11-05 | Most libc++ tests require uclibc; add missing REQUIRES statements or remove ↵ | Cristian Cadar | |
| dependency. | |||
| 2019-03-17 | Fix libc++ testcases | Martin Nowack | |
| * remove wrapper script invocation and script * add build instruction to test cases * added additional checks * add check to avoid execution of tests if KLEE is not compiled with libc++ | |||
| 2019-03-17 | Added libcxx flag | Lukas Wölfer | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |