Thanks Cristian.
I want to feed KLEE with my customized seeds, instead of random ones.
So I need a tool similar to gen-random-bout to generate .ktest file.
To write such a tool, I would like to know how to generate the stat
and model-version
Here is my quick implementation:
Hi, you can ignore the model_version, it just keeps track of the version
for the POSIX model. The stat buffer keeps the stat info associated
with the file (see e.g.
http://man7.org/linux/man-pages/man2/stat.2.html). If you have time, it
would be useful to document this on the website (e.g.,
Hi Sang,
I urgently need a tool like you mentioned, so I wrote one myself within
KLEEsource tree. You can find the source as tools/gen-bout.cpp in the gen-bout
branchof my KLEE fork: https://github.com/domainexpert/klee/tree/gen-bout
I don't exactly know the answer to your question. For normal
