~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-08-15	replace fprintf with fputs/fputc	Frank Busse

2019-08-14	Delete functions delete_file() and delete_dir() which are not needed now ↵	Cristian Cadar
	that klee-replay creates a temporary directory for replay
2019-08-14	Replace sprintf with snprintf throughout codebase	Cristian Cadar

2019-08-14	Create all files in the replay directory and chdir to this directory before ↵	Cristian Cadar
	executing the program.
2019-08-14	Added an option to klee-replay to keep replay directory	Cristian Cadar

2019-08-14	Cleaned up messages emitted by klee-replay, and prefixed them all with ↵	Cristian Cadar
	"KLEE-REPLAY:" to distinguish them from those printed by the replayed program
2019-08-14	Changed klee-replay to create a temporary directory with a random name in ↵	Cristian Cadar
	/tmp instead of using a fixed name in the current directory.
2019-04-02	Fix klee-replay tool on FreeBSD.	Gleb Popov

2018-10-08	cleanup headers, whitespaces, and types	Frank Busse

2018-10-08	add support for klee-replay on OSX	Frank Busse
	* also adds klee-replay as dependency for systemtests
2009-08-05	Add klee-replay tool.	Daniel Dunbar
	- Not yet enabled as part of the build, and not recently tested. - This has also been trimmed down significantly from the version which is able to fail system calls, that functionality was too experimental to be generally useful. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78148 91177308-0d34-0410-b5e6-96231b3b80d8