[klee-dev] Store path in Klee

[Chelsea Metcalf]

Hi,
Is there a way in Klee to store the path that is being taken?
Thanks,

Chelsea
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev