| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-06-30 | rename CallSite to CallBase | Frank Busse | |
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar | |
| 2018-10-26 | llvm5: test, add -disable-O0-optnone to -O0 | Jiri Slaby | |
| Otherwise optimizations done in klee won't have any effect. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2017-12-11 | fix regression test: use `%klee` instead of `klee` | Felix Rath | |
| 2017-07-23 | Updated test cases to reflect removal of LLVM 2.9 | Martin Nowack | |
| 2017-03-15 | Fix test case for OSX: only weak aliases are supported on darwin | Andrea Mattavelli | |
| Rewritten tests by replacing 'XFAIL: darwin' with 'REQUIRES: not-darwin' | |||
| 2017-02-21 | Add test case that causes an assertion failure in ↵ | Dan Liew | |
| `klee::getDirectCallTarget(llvm::CallSite)`. The problem is that it doesn't handle bitcasted functions that call a weak alias. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |