Main Content

Scaling

Specify verification scaling

For deeper or more superficial analysis of a specific code construct, use the scaling options. Using these options can sometimes significantly change the verification time.

Polyspace Options

Inline (-inline)Specify functions that must be cloned internally for each function call
Depth of verification inside structures (-k-limiting)Limit the depth of analysis for nested structures

Topics