Community Profile

Lorenz Mende

Intenta GmbH

Last seen: 거의 2년 전 | 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 ...

7년 초과 전 | 답변 수: 1 | 0

1

답변