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 ...
거의 9년 전 | 답변 수: 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...
거의 9년 전 | 답변 수: 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...
거의 9년 전 | 답변 수: 1 | 0
