~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-05-06	Renamed gen-bout to ktest-gen	Cristian Cadar
2020-09-17	[gen-bout] Support multiple symbolic files	Timotej Kapus
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-03-17	Fixed compiler warning when printing variable of type off_t	Cristian Cadar
2020-03-17	stat64 is deprecated on macOS; use stat instead	Cristian Cadar
2020-02-24	Add leading zeros to genbout	Timotej Kapus
2019-08-15	replace fprintf with fputs/fputc	Frank Busse
2019-08-14	Replace sprintf with snprintf throughout codebase	Cristian Cadar
2019-08-01	gen(-random)-bout: add --bout-file flag	Frank Busse
2018-10-26	Added gen-bout tool to generate ktest file (file.bout) using specified concre...	Andrew Santosa