~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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