Up – infer » Absint » AbstractDomain » CountDomain » MaxCount

Parameter `CountDomain.MaxCount`

val max : int

must be positive