Function

Reports spacing violations (either minimal or optimal) that were repaired using a polygonal shave (due to area density).

Activation

After ERF variable do_poly_shave is set to Y.