ERF Variable

Description

min_sliver_len

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