Info

La pregunta está cerrada. Vuélvala a abrir para editarla o responderla.

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

1 visualización (últimos 30 días)
Lorenz Mende
Lorenz Mende el 19 de Sept. de 2016
Cerrada: MATLAB Answer Bot el 20 de Ag. de 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)

La pregunta está cerrada.

Respuestas (1)

Christian Bard
Christian Bard el 2 de Nov. de 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

La pregunta está cerrada.

Etiquetas

Productos

Community Treasure Hunt

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

Start Hunting!

Translated by