Function

Reports spacing violations (either minimal or optimal) that were fixed using a polygonal shave (due to area density)
and the polygon was filled according to the minimal brush parameter.

Activation

After both do_poly_shave and fill_poly ERF variables are set to Y .