Why Polyspace Metrics shows __pstf#number modules on Polyspace Code Prover results?

Question

Lorenz Mende 2016-9-19

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/303605-why-polyspace-metrics-shows-__pstf-number-modules-on-polyspace-code-prover-results

关闭： MATLAB Answer Bot 2021-8-20

In Metrics server the Code Prover Results some files are organized in __pstf#number (so e.g. __pstf26) modules. When regrouping them and putting the files in the parent (project), new modules are generated. Version: Polyspace 9.5/MATLAB 2016a code size ~ 44 kLoC, ~120 files ( /w headers and comments)

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

此问题已关闭。

Answer 1

Christian Bard 2016-11-2

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/303605-why-polyspace-metrics-shows-__pstf-number-modules-on-polyspace-code-prover-results#answer_241671

Hi Lorenz, It looks like Polyspace is showing internal files on Polyspace web Metrics. You would contact Technical Support for this kind of request with at least a complete log file and a screenshot showing the behavior.

Regards, Christian