Info

Cette question est clôturée. Rouvrir pour modifier ou répondre.

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

1 vue (au cours des 30 derniers jours)
Lorenz Mende
Lorenz Mende le 19 Sep 2016
Clôturé : MATLAB Answer Bot le 20 Août 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)

Cette question est clôturée.

Réponses (1)

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

Cette question est clôturée.

Tags

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by