~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2014-01-20	Only run klee-uclibc tests if KLEE was configured with klee-uclibc	Dan Liew
	support.
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
	Say hello to our new friend, llvm-lit :)
2014-01-20	Only run SELinux test if support for SELinux was detected at configure	Dan Liew
	time.
2014-01-20	Added Runtime/POSIX/lit.local.cfg file that prevents the POSIX	Dan Liew
	tests from being executed if not enabled at configure time.
2014-01-20	Fixed many tests that make use of the file tool to check	Dan Liew
	a file created by KLEE exists. A big difference between DejaGNU and llvm-lit is that in DejaGNU the working directory is the test output directory (e.g. test/Feature/Output) but in llvm-lit the working directory is the test directory (e.g. test/Feature ) To fix this I have used the %T substitution variable for llvm-lit. I have also improved some tests by using LLVM's FileCheck tool and removing of hard coded constants for data type size in some places. This commit inevitably breaks running the tests under DejaGNU. Although it is possible to hack by introducing the %T substitution variable some tests would still be broken because the use of shell pipes in DejaGNU doesn't seem to work properly. I could work around this but it's really not worth the effort.
2013-11-14	Add additional note that testcase might fail if	Martin Nowack
	uclibc is compiled without symbolic printf support
2013-11-02	Fix Futimesat compilation with newer gcc and clang	Martin Nowack

2013-10-14	Replaced --libc=klee with --libc=uclibc in two tests (as for ↵	Cristian Cadar
	https://github.com/ccadar/klee/issues/32) and fixed an #include in one of the tests.
2013-08-29	Added some of the common *at functions to the model	Paul Marinescu

2012-09-12	Restructured the command-line options for setting the search	Cristian Cadar
	heuristics in KLEE. The new options are documented at http://klee.llvm.org/klee-options.html. Cleaned a bit the code in UserSearcher.cpp, and fixed some test cases to use the new options. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@163711 91177308-0d34-0410-b5e6-96231b3b80d8
2012-04-05	Removed unnecessary --init-env option.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154110 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-21	Applied Stefan Bucur's patch that fixes a non-deterministic bug in the	Cristian Cadar
	regression suite (see http://llvm.org/bugs/show_bug.cgi?id=7423) git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106431 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-03	Update a few things that got forgotten in the great "bout" to "ktest"	Daniel Dunbar
	renaming of '08. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72748 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8