| Age | Commit message (Collapse) | 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 ↵ | Andrew Santosa | |
| concrete arguments and files. * Sample use cases: * Using an interesting input as a seed, such as a crashing input. * Analyzing the path condition of a crashing input. * Also added the test: test/Runtime/POSIX/GenBout.c | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |