[klee-dev] Want to replay ".ktest" files from a single text file

[Sangharatna Godboley]

Hi,

I have a problem. For my experiment, KLEE generates larger test data for
eg. > 100,000 "test000001.ktest" files. I am replaying these test input
files using klee-replay tool with this command

"KTEST_FILE=klee-out-0/test000001.ktest ./a.out".

Here is the problems, I need to open and close ".ktest" files for "a.out"
100,000 times, which is time consuming. I want to optimize the time. I want
to avoid opening and closing of ".ktest" files for these many times. Is
there any way to solve this problem? I am thinking to redirect all these
test input files into one "sample.txt" file using the following command:

"ktest-tool klee-out-0/test******.ktest > sample.txt"

But, I am now stuck to process this sample.txt with ./a.out by using
klee-replay
tool.
Can anyone help me for this problem?

Thanks

Sanghu
-------------- next part --------------
HTML attachment scrubbed and removed