Hi guys, I noticed that the internal forks are not considered in the seeding scheme. This means, among other things, that there is not a one-to-one mapping between a seed and a single state in the execution tree. I am implementing a similar replay mechanism, based on seeding. However, in my case I need to make sure I include the internal forks as well. Is there any side-effect of removing the condition for the fork to be internal when seeding? Also, since in internal forks the solver is called, would this be deterministic?
Thanks, Liviu
