| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |