photo

Lorenz Mende


Intenta GmbH

Last seen: oltre 2 anni fa |  Attivo dal 2016

Followers: 0   Following: 0

Messaggio

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

Statistica

All
  • Scavenger Finisher
  • Solver

Visualizza badge

Feeds

Visto da

Domanda


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 ...

oltre 8 anni fa | 1 risposta | 0

1

risposta