ERF Variable

Description

min_sliver_len

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