photo

Trenton Holmes


自 2017 起处于活动状态

Followers: 0   Following: 0

统计学

Feeds

排序方式:

提问


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

7 years 前 | 2 个回答 | 0

2

个回答

提问


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

7 years 前 | 1 个回答 | 0

1

个回答