이 질문은 마감되었습니다. 편집하거나 답변을 올리려면 질문을 다시 여십시오.
Why Polyspace Metrics shows __pstf#number modules on Polyspace Code Prover results?
조회 수: 1(최근 30일)
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)
Christian Bard 2016년 11월 2일
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.