~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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.
2017-10-06	Removed the word 'unsigned' from integer overflow error messages	Andrew Santosa

2017-07-23	Updated test cases to reflect removal of LLVM 2.9	Martin Nowack

2015-02-13	Fixed and refactored overflow test cases.	Cristian Cadar

2015-02-13	Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"	Cristian Cadar
	Will redo the merge to preserve original commits. This reverts commit a743d7072d9ccf11f96e3df45f25ad07da6ad9d6.
2015-02-10	Merged @luckyluke's change for detecting overflow of unsigned add, sub	Cristian Cadar
	and mul operations. Refactored tests into two main cases, and disabled them on LLVM 2.9, which does not support -fsanitized=*signed-integer-overflow.