Hello Daniel, Thank you for the explanation. Could you please give a hint how soon the tool will be published ? I am a bit in rush, so I want to decide whether to wait or to implement something more simple for now myself.
-- With the best regards, Vladimir Kuznetsov On Tuesday 04 August 2009 18:54:18 Daniel Dunbar wrote: > 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
