Assumptions About Stubbed Functions

Stub missing functions manually or automatically, improve verification precision with manual stubs

Examples and How To

Manual vs. Automatic Stubbing

Learn about the benefits of manual versus automatic stubbing of functions.

Automatic Stubbing

Learn which functions are automatically stubbed during Polyspace® verification.


Stubbing Overview

Learn the definition of a function stub and how it helps in verifying undeveloped code.

Was this topic helpful?