~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-03-07	Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.	Cristian Cadar
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. Change...	Willem
2014-10-15	Added tests to _testingUtils.c (currently failing due to a bug in printing 64...	Willem
2014-09-12	[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ...	Daniel Dunbar
2014-09-12	Add support for testing Concrete tests via lit.	Daniel Dunbar
2014-09-12	Update testingUtils to use printf(), putchar() isn't a known external functio...	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar