~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2014-10-16	Fixed declaration of print_int that Travis complained about	Willem

2014-10-16	Fix the bug in printing 64bit numbers, set the test to expect passing. ↵	Willem
	Changed _testingUtils to use stdint.h
2014-10-15	Added tests to _testingUtils.c (currently failing due to a bug in printing ↵	Willem
	64bit numbers) Fixing this bug will expose a failing test case for Concrete/ConstantExpr.ll
2014-09-12	[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ↵	Daniel Dunbar
	which the LLVM JIT can't handle.
2014-09-12	Add support for testing Concrete tests via lit.	Daniel Dunbar
	Fixes #96.
2014-09-12	Update testingUtils to use printf(), putchar() isn't a known external ↵	Daniel Dunbar
	function anymore.
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