Info

Diese Frage ist geschlossen. Öffnen Sie sie erneut, um sie zu bearbeiten oder zu beantworten.

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

1 Ansicht (letzte 30 Tage)
Lorenz Mende
Lorenz Mende am 19 Sep. 2016
Geschlossen: MATLAB Answer Bot am 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)

Melden Sie sich an, um diese Frage zu beantworten.

Antworten (1)

Christian Bard
Christian Bard am 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

Tags

Produkte

Community Treasure Hunt

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

Start Hunting!

Translated by