polyspace 2017b functions calling before main option

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

Answer 1

[John Boyd]

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.