MATLAB Answers

polyspace 2017b functions calling before main option

3 views (last 30 days)
Geetha S
Geetha S on 29 Aug 2019
Answered: John Boyd on 8 Jan 2020
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

  0 Comments

Sign in to comment.

Answers (1)

John Boyd
John Boyd on 8 Jan 2020
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.

  0 Comments

Sign in to comment.

Sign in to answer this question.


Translated by