How can I make KLEE seed on existing cases? For example, I have an application which takes two command-line arguments and I know an input with a pretty good coverage. How can I transfer the input into a .ktest file so that KLEE can seed on it? Or is there a different approach to achieve the same goal?
Cheers, Bowen _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
