PSharp
PSharp copied to clipboard
Think about CycleDetector.PrepareForNextIteration
I thought this method being rather empty was a bug. But apparently, this may not matter because the CycleDetector gets recreated every iteration. However, we could still consider NOT doing this for better performance.