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?
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
