[klee-dev] Replay path condition

[Srijan R Shetty]

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 <c.cadar at imperial.ac.uk> 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
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed