index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test
/
lit.cfg
Age
Commit message (
Expand
)
Author
2014-04-14
Update to new lit configuration to support changes in LLVM3.4
Martin Nowack
2014-02-09
Merge pull request #100 from delcypher/pass-param-llvm-lit
Cristian Cadar
2014-02-04
Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environment
Dan Liew
2014-01-28
Allow passing arbitrary command line flags to klee and kleaver
Dan Liew
2014-01-20
Give absolute paths to KLEE's tools in lit.cfg . This fixes a long
Dan Liew
2014-01-20
Removed all of llvm-lit's dependence on DejaGNU. A few things
Dan Liew
2014-01-20
Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variable
Dan Liew
2014-01-20
Allow llvm-lit from 2.9 to work by hacking %T substitution variable.
Dan Liew
2014-01-20
Put llvm tools directory at beginning of PATH list so that the LLVM
Dan Liew
2014-01-20
Add LLVM tool directory to PATH when running tests with llvm-lit.
Dan Liew
2014-01-20
Removed use of deprecated Tcl parser for tests. This allows
Dan Liew
2010-05-02
Sketch support for running KLEE tests using 'lit'.
Daniel Dunbar
