Case Size Overview Threshold

Type

Integer

Range

{0 .. Maxint}

Default

10000

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

Learn more about