ERF Variable
Description
min_sliver_len
A sliver with a length smaller than this value will be reported in the 'local spacing' category.