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
2017-08-10
Added a basic test for klee-replay
Cristian Cadar
2017-07-23
Updated test cases to reflect removal of LLVM 2.9
Martin Nowack
2017-05-24
travis CI: add LLVM 3.5 and 3.6 tests
Jiri Slaby
2017-04-06
[NFC] Reindent `test/lit.cfg` and add vim mode line to use right
Dan Liew
2017-04-06
test: lit, add geq/lt-llvm- configs
Jiri Slaby
2017-03-15
[Lit] Add system information (linux/darwim) to LIT configuration. Added 'not-...
Dan Liew
2017-01-14
Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`
Dan Liew
2017-01-08
tests: Added substitution for llvm-ar
Adrian Herrera
2016-11-23
Renamed .pc to .kquery (kleaver query)
Eric Rizzi
2016-02-14
Try to fix the TravisCI build when using Z3 as the solver. The
Dan Liew
2015-12-19
Implement support for lowering the ``llvm.objectsize`` intrinsic
Dan Liew
2015-12-16
Propagate AddressSanitizer, LeakSanitizer (part of AddressSanitizer),
Dan Liew
2014-10-08
Fixes support for passing arguments to klee in the ConcreteTests.
Willem
2014-09-15
Generate fake files for test cases
Martin Nowack
2014-09-13
[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.
Daniel Dunbar
2014-09-12
Add support for testing Concrete tests via lit.
Daniel Dunbar
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
