hole_size#

property DeadRegion.hole_size: float#

Maximum hole size used for patching.

This is a beta parameter. The behavior and name may change in the future.