Is Polyspace Code prover saves the memory utilization of system? If yes then how it saves the memory?

1 次查看（过去 30 天）

Ankita Pingale 2018-12-19

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/436497-is-polyspace-code-prover-saves-the-memory-utilization-of-system-if-yes-then-how-it-saves-the-memory

关闭： MATLAB Answer Bot 2021-8-20

Polyspace code prover shows the color indicated red, green, orange, gray error to user. If there is dead code (Gray Color) we can remove that code saves the memory but how other color indicated errors are useful to save memory?

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

此问题已关闭。

回答（0 个）

此问题已关闭。

Community Treasure Hunt

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

Start Hunting!

Translated by

Is Polyspace Code prover saves the memory utilization of system? If yes then how it saves the memory?

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

回答（0 个）

另请参阅

标签

Community Treasure Hunt

Is Polyspace Code prover saves the memory utilization of system? If yes then how it saves the memory?

0 个评论 显示 -2更早的评论隐藏 -2更早的评论

回答（0 个）

另请参阅

标签

Community Treasure Hunt

WeChat

0 个评论
显示 -2更早的评论隐藏 -2更早的评论