~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2014-10-08	Fixes support for passing arguments to klee in the ConcreteTests.	Willem
	This is for use with llvm-lit --param=klee_opts=... Fixes lit.cfg to not have an extranous space behind the klee command. Augments ConcreteTest to accept and pass arguments to klee. Augments all the ConcreteTest cases to wrap %klee in quotes. Without wrapping %klee the extra arguments will be seens as arguments to ConcreteTest.py resulting in an unknown argument error.
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
	- 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-09-12	Add support for testing Concrete tests via lit.	Daniel Dunbar
	Fixes #96.
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
	Allow passing arbitrary command line flags to klee and kleaver when running llvm-lit
2014-02-04	Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environment	Dan Liew
	variables in llvm-lit. This should hopefully fix the build bot. The propagation of environmental variables was also slightly refactored.
2014-01-28	Allow passing arbitrary command line flags to klee and kleaver	Dan Liew
	when running llvm-lit. This is done by doing something like $ cd test/ $ llvm-lit --param klee_opts=--xxx --param kleaver_opts=--yyy . This would pass "--xxx" as an extra option to KLEE when running tests and would pass "--yyy" as an extra option to kleaver when running tests. This feature has been added to make it easy to pass different flags to KLEE or Kleaver without needing to modify tests or recompile KLEE with different defaults (yuck!).
2014-01-20	Give absolute paths to KLEE's tools in lit.cfg . This fixes a long	Dan Liew
	standing FIXME:
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	Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variable	Dan Liew
	in test environment.
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
	version that KLEE and llvm-as use is the same.
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
2014-01-20	Removed use of deprecated Tcl parser for tests. This allows	Dan Liew
	llvm-lit from LLVM3.3 to actually run KLEE's testsuite. Things still seem to be broken though.
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