some bug on Polyspace ,the variable imask never has value of 3。
1 次查看(过去 30 天)
显示 更早的评论
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1473191/image.png)
the variable imask never has value of this simple program.
采纳的回答
更多回答(1 个)
Shubham
2023-9-8
Hi Chen,
I understand you could not figure out when the value of the variable "imask" reaches "3" as shown in the variable access panel.
The value of 3 in the "Reads" and "Writes" columns in the variable access denotes the frequency of reading or writing operations performed on the variable. It does not indicate the specific value of the variable "imask" during program execution.
For more info, read here:
4 个评论
Shubham
2023-9-12
Hi Chen, Polyspace does not execute source code but does approximation. It looks like it is an over approximation in Polyspace R2021. Polyspace provided an over approximation of the possible values of imask. This issue has been fixed in the latest release. Thanks
另请参阅
类别
在 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!