Info

This question is closed. Reopen it to edit or answer.

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

1 view (last 30 days)
Lorenz Mende
Lorenz Mende on 19 Sep 2016
Closed: MATLAB Answer Bot on 20 Aug 2021
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)

This question is closed.

Answers (1)

Christian Bard
Christian Bard on 2 Nov 2016
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

This question is closed.

Tags

Products

Community Treasure Hunt

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

Start Hunting!