On Tue, Aug 4, 2009 at 3:25 AM, Vladimir Kuznetsov<ks.vladimir at gmail.com> wrote: > Hello, > > What is the easiest way to replay tests with symbolic arguments and symbolic > files ? It seems that libkleeRuntest.so is not handling them. One way would be > to parse .ktest file and manually invoke a command with the arguments from the > file. Is there a better solution ?
Hi Vladimir, We have a tool which does basically that, it creates the symbolic files, sets up pipes, etc and then runs the program. It also allows us to test system call failures by using ptrace to control the subprocess, which is convenient but adds a lot of complexity. I started working on cleanup up the code and making it a little easier to use, but it isn't quite ready yet. I'm hoping to get a basic version in the repo fairly soon. - Daniel > -- > With the best regards, > Vladimir Kuznetsov > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
