Lorenz Mende

Intenta GmbH

Last seen: 2 years 前 | 自 2016 起处于活动状态

Followers: 0 Following: 0

消息

software tester in a ASIL-D ISO 26262 project Tools: Polyspace Code Prover, automated through Jenkins

统计学

All

Feeds

提问

Why Polyspace Metrics shows __pstf#number modules on Polyspace Code Prover results?
In Metrics server the Code Prover Results some files are organized in __pstf#number (so e.g. __pstf26) modules. When regrouping ...

8 years 前 | 1 个回答 | 0

1

个回答