Case Size Overview Threshold

Type

Selection

Range

{ 0 .. maxint }

Default

10000

This is a helper option for the option Case Size Overview.