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
