PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Think about CycleDetector.PrepareForNextIteration

Open paulthomson opened this issue 7 years ago • 0 comments

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.

paulthomson avatar Jul 07 '17 10:07 paulthomson