How to enable automatic stubbing option in 2016b polyspace code prover?

2 ビュー (過去 30 日間)
Debadutta Patra
Debadutta Patra 2017 年 1 月 19 日
回答済み: Alexandre De Barros 2017 年 1 月 24 日
In 2016b polyspace Code Prover ,If the function definition is not there in code ,Then it is showing error.

サインインしてこの質問に回答する。

回答 (1 件)

Alexandre De Barros
Alexandre De Barros 2017 年 1 月 24 日
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

カテゴリ

Help Center および File Exchange で Options at Command Line Only についてさらに検索

タグ

製品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by