On Fri, Oct 21, 2011 at 6:21 AM, <[email protected]> wrote: > Hi, > When I use klee to test some programs, I encounter some troubles and need > to > interpret the format *.ktest file. > Is there somebody who know the .ktest files in detail and give me some > document > about how to interpret it? >
Look at klee/lib/Basic/KTest.cpp file, it should be helpful for you.
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
