~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2022-01-05	Do not use stat64 directly in gen-random-bout	Cristian Cadar

2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar

2019-08-01	gen(-random)-bout: add --bout-file flag	Frank Busse

2019-04-29	Fix gen-random-bout to build on FreeBSD.	Gleb Popov

2019-03-31	Applied clang-format on tools/gen-random-bout/gen-random-bout.cpp	Andrew Santosa

2019-03-31	Various updates to gen-random-bout.cpp	Andrew Santosa
	* Added handling of --sym-arg * Resolved the crash when minimum and maximum number of arguments for --sym-args are equal * Replaced "range" with "n_args" produced by --sym-args * Added model_version variable (constrained to 1), to prevent klee complaining about insufficient input * Allow a single dash to prefix an option * Arrange the elements in the correct order: command-line arguments, files, stdin, stdout * Added test/Runtime/POSIX/GenRandomBout.c test, with a substitution for %gen-random-bout in test/lit.cfg
2016-02-23	Added missing copyright headers per klee/issue #301	Marko Dimjašević

2011-12-11	Patch by Ben Gras for MINIX: no stat64 under MINIX.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@146353 91177308-0d34-0410-b5e6-96231b3b80d8
2011-06-09	Patch from arrowdodger for fixing FreeBSD build..	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@132786 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-23	Changed bout to ktest. Kept "BOUT\n" as the header of test files, for ↵	Cristian Cadar
	backward compatibility. Also changed KLEE_RUNTEST to KTEST_FILE. Updated tutorial-1. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72312 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8