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)

Diese Frage ist geschlossen.

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

Diese Frage ist geschlossen.

Tags

Produkte

Community Treasure Hunt

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

Start Hunting!

Translated by