gen-bout tool to generate ktest file using concrete arguments and files #956
Conversation
Codecov Report
@@ Coverage Diff @@
## master #956 +/- ##
==========================================
+ Coverage 66.04% 66.39% +0.34%
==========================================
Files 142 143 +1
Lines 16188 16339 +151
Branches 3747 3775 +28
==========================================
+ Hits 10692 10848 +156
+ Misses 3813 3792 -21
- Partials 1683 1699 +16
Continue to review full report at Codecov.
|
tools/gen-bout/gen-bout.cpp
Outdated
| } | ||
|
|
||
| if (file_counter > 0) { | ||
| // KLEE assumes that -sym-files is specified only once, and the |
There was a problem hiding this comment.
I think this comment is outdated now, since we changed KLEE to only accept one sym-files option
|
Hi @domainexpert, the recent thread on klee-dev reminded me about this PR. Since it's a new independent tool, I'm happy to merge it quickly. I left just one quick comment about an outdated comment. Ideally, the tool would support multiple |
…d 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
|
@ccadar Thank you for the review. I had removed the comment. |
|
Thanks, @domainexpert, I'll merge it now. |
Whereas
gen-random-boutproduces ktest filefile.boutwith random content,gen-boutproducesfile.boutwith specific content specified by the user.test/Runtime/POSIX/GenBout.c.