~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-03-21	remove tests for LLVM <= 3.7	Julian Büning

2019-03-12	Removed unneeded and confusing disable-opt option, reformatted Optimize() ↵	Cristian Cadar
	function and updated some .ll tests to use --optimize=false instead of --disable-opt
2018-05-24	test: add versions of some tests for LLVM 3.7	Richard Trembecký
	Clone some tests to have their 3.7 version. 'call's, 'load's and 'getelementptr's match the new specification in them. @andreamattavelli: Fixed test cases: BitCastAlias test cases included modification to alias specifications that require LLVM 3.8 [v2] added comments what was changed and why [v3] the new tests are without suffix, the old ones have ".leq36". Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-02-18	Add testcase for constant array handling	Martin Nowack