| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-12 | Removed unneeded and confusing disable-opt option, reformatted Optimize() ↵ | Cristian Cadar | |
| function and updated some .ll tests to use --optimize=false instead of --disable-opt | |||
| 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> | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |