~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-10-30	Mark the StaticDestructor test as failing on macOS	Cristian Cadar

2020-10-30	Optimize StaticDestructor test to be less fragile to compiler optimizations.	Cristian Cadar

2019-03-13	Renamed --no-output to --write-no-tests and placed it in the test case ↵	Cristian Cadar
	category (with --write-cov, --write-cvcs etc.)
2019-03-07	tests: rename xxclang to clangxx	Frank Busse

2019-03-07	Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.	Cristian Cadar

2018-10-26	llvm5: test, add -disable-O0-optnone to -O0	Jiri Slaby
	Otherwise optimizations done in klee won't have any effect. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-09-06	Use FileCheck and LINE instead of grep if possible	Martin Nowack
	As we do not support LLVM 2.9 anymore, we can use FileCheck LINE instead of hard coding line numbers.
2014-09-14	Use klee-libc for this test, as it runs when configured w/o uclibc.	Daniel Dunbar
	- If this is a problem for some reason, lets either fix the problem or move it into Runtime tests.
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in ↵	Daniel Dunbar
	parallel. - It would be nice if there was an easier way to do this that didn't involve editing all of the tests (like running each test in its own directory), but this approach fixes #146 and doesn't involve changing 'lit' or writing a wrapper harness. My assumption is a lot of tests start are derived from another one, so hopefully following this convention won't be burdensome, and I updated 'make check' so that it will produce an error if any test runs klee without --output-dir (by checking for the existing of klee-last files). - This also helps with #147 but I still can't fully run tests in parallel (I start hitting STP errors).
2014-05-16	Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly.	Cristian Cadar

2010-04-05	Fix -emit-llvm spelling (although, these aren't actually needed).	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100397 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