| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-09-13 | [tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines. | Daniel Dunbar | |
| - You can now make tests disabled, or expected to fail, by writing something like: // XFAIL: llvm-3.4 or // REQUIRES: not-llvm-3.4 - This mechanism doesn't support version comparisons, it is mostly intended to help with switching over to new LLVM versions and incrementally working through the test failures. | |||
| 2014-04-14 | Update to new lit configuration to support changes in LLVM3.4 | Martin Nowack | |
| 2014-01-20 | Only run SELinux test if support for SELinux was detected at configure | Dan Liew | |
| time. | |||
| 2014-01-20 | Removed all of llvm-lit's dependence on DejaGNU. A few things | Dan Liew | |
| are now broken and will be fixed shortly. | |||
| 2014-01-20 | Allow llvm-lit from 2.9 to work by hacking %T substitution variable. | Dan Liew | |
| 2014-01-20 | Add LLVM tool directory to PATH when running tests with llvm-lit. | Dan Liew | |
| This is needed because the helper tool 'not' is used by some tests | |||
| 2010-05-02 | Sketch support for running KLEE tests using 'lit'. | Daniel Dunbar | |
| - Not working yet. Also, ditch a bunch of unused substitution variables from the site.exp config file. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102872 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |