about summary refs log tree commit diff homepage
path: root/tools/gen-bout/gen-bout.cpp
AgeCommit message (Collapse)Author
2020-02-24Add leading zeros to genboutTimotej Kapus
2019-08-15replace fprintf with fputs/fputcFrank Busse
2019-08-14Replace sprintf with snprintf throughout codebaseCristian Cadar
2019-08-01gen(-random)-bout: add --bout-file flagFrank Busse
2018-10-26Added 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