[klee-dev] Replay path condition

[Cristian Cadar]

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
>