Hello,
the stubbing is automatic in R2016b, and in the previous versions as well.
More precisely, if Polyspace (Code Prover or Bug Finder) finds a declaration without a definition, the stubbing of the undefined function will take place, automatically.
Now, if you have an error (during the compilation phase I guess), it means that Polyspace is not able to find the declaration.
You should then probably add it in the code provided to Polyspace (or include the header file that contains the declaration).
Best regards,
Alexandre
