photo

Mark R


自 2017 起处于活动状态

Followers: 0   Following: 0

统计学

  • Thankful Level 1

查看徽章

Feeds

排序方式:

提问


Open Polyspace R2016a results in R2015a
Hi, I ran some verifications using R2016a, however the tool mandated by my project is R2015a. I really don't want to go back ...

7 years 前 | 1 个回答 | 0

1

个回答

提问


Pass/Fail not filled out in Polyspace report
Hi, I've run an analysis of my code and justified all remaining errors (which aren't actually problems) with "Not a Defect" s...

7 years 前 | 0 个回答 | 0

0

个回答

提问


Enums in Bitfields [Greenhills PowerPC Compiler for C]
I have an enum typedef enum { YES = 0u, NO = 1u } AnswerType; Which is used as a bit fiel...

7 years 前 | 1 个回答 | 0

1

个回答