Hello,
In R2015a in codeprov_ref.pdf (page 5-10) under External Variables topic is written:
Polyspace verification works on the principle that a global or static external variable could take any value within the range of its type.
I don't understand the meaning of the words * or static* here. Does it mean that static variable with file scope will also have full range?
Best Answer