| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-21 | remove tests for LLVM <= 3.7 | Julian Büning | |
| 2018-05-24 | test: add versions of some tests for LLVM 3.7 | Richard Trembecký | |
| Clone some tests to have their 3.7 version. 'call's, 'load's and 'getelementptr's match the new specification in them. @andreamattavelli: Fixed test cases: BitCastAlias test cases included modification to alias specifications that require LLVM 3.8 [v2] added comments what was changed and why [v3] the new tests are without suffix, the old ones have ".leq36". Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-02-18 | Test complex constant data vectors as well | Martin Nowack | |
| 2018-02-18 | Add test case for constant vector init | Martin Nowack | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |