polyspace 2017b functions calling before main option

1 次查看（过去 30 天）
Geetha S
Geetha S 2019-8-29
回答： John Boyd 2020-1-8
Hello Team,
we are using R2017B version of polyspace
there are many orange checks for NON-INtialized variables
But these are caliberations and intialized though pointer in Restart_INI function and module running doesnot have its own main function
please suggest is there any option give the RESTART_INI should be called before main fucntion call
Using GUI for the 2017B
2 . Avoiding the Global variable for the NON-shared variable
for static varaible if mulitple functions are accessing how to set the priority
Thank you

请先登录，再回答此问题。

回答（1 个）

John Boyd
John Boyd 2020-1-8
Specify RESTART_INI in the Initialization functions list. This list is in the configuration in the "Code Prover Verification" section. The '+' icon with the magnifying glass overlay will display a list of functions to select as initialization functions, or you can simply type the name(s) into the table using the + to add rows.

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by