~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-01-20	Fixed test cases that fail if using an in-source build	Dan Liew
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
2014-01-20	Fixed tests where llvm-gcc was called without the -emit-llvm flag.	Dan Liew
2014-01-20	Fixed many tests that make use of the file tool to check	Dan Liew
2013-08-28	Fix test case to use llvm-link instead of llvm-ld	Martin Nowack
2012-11-28	Removed fragile test which does not work anymore with clang/llvm 3.1.	Cristian Cadar
2012-05-25	Patch by Paul Marinescu that makes KLEE gracefully fail on assembly code.	Cristian Cadar
2011-07-20	Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!	Peter Collingbourne
2010-04-05	Fix some tests w/ objdir != srcdir.	Daniel Dunbar
2009-05-23	Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...	Cristian Cadar
2009-05-22	Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar