Hi,
On Wed, 23 Jun 2021 23:30:29 +0800 Pansilu Pitigalaarachchi <[email protected]> wrote: > *.ktest files* > I was able to use KLEE generated .ktest files in seed mode. My current > requirement is to dictate a portion of a parth in the form of a seed. > Therefore, I would like to craft .ktest files to be used as a seed. > Can I please know if there is any documentation or info on the > content/format & attributes of a .ktest file that I can follow in my > attempt to craft .ktest files of my choice. The ktest format is quite simple: https://github.com/klee/klee/blob/df04aeadefb4e1c34c7ef8b9123947ff045a34d9/include/klee/ADT/KTest.h#L24 https://github.com/klee/klee/blob/292600cf54d5fd73278f67a4f98c2f955cbdaa10/lib/Basic/KTest.cpp#L94 Or if you prefer Python: https://github.com/klee/klee/blob/df04aeadefb4e1c34c7ef8b9123947ff045a34d9/tools/ktest-tool/ktest-tool#L30 But maybe https://klee.github.io/docs/tools/#gen-bout (gen-bout) solves your problem already. Kind regards, Frank _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
