Hey Cristian, Could you give me some pointers as to how to proceed with the implementation and where all I might have to look?
Best, Shetty On Sun, 19 Apr 2015 at 03:35 Cristian Cadar <[email protected]> wrote: > No, but this would be a nice feature to have, and I'd be happy to accept > a pull request. Essentially, one would need to assume every constraint > in a given .pc file when KLEE starts -- all the required mechanisms are > there, but they would need to be combined accordingly. > > Best, > Cristian > > On 18/04/2015 13:21, Srijan R Shetty wrote: > > Hi, > > > > I was wondering whether it was possible to replay a path condition in > > klee just like the --replay-path? > > > > Sincerely, > > Srijan R Shetty > > > > > > _______________________________________________ > > klee-dev mailing list > > [email protected] > > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
