photo

Trenton Holmes


Actif depuis 2017

Followers: 0   Following: 0

Statistiques

Feeds

Afficher par

Question


Polyspace 2017b Not Populating from Code comments
It appears that Polyspace 2017b is not reading its own pre-jusifications from the code files. When I copy a justification from ...

presque 7 ans il y a | 2 réponses | 0

2

réponses

Question


How can I define a custom exception type for Polyspace Bug Finder?
I am running Polyspace over some code for an embedded system. One thing that I run into is numerous warnings about uninitialize...

environ 7 ans il y a | 1 réponse | 0

1

réponse