Mark R
自 2017 起处于活动状态
Followers: 0 Following: 0
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