Statistics
RANK
90,508
of 300,678
REPUTATION
0
CONTRIBUTIONS
3 Questions
1 Answer
ANSWER ACCEPTANCE
0.0%
VOTES RECEIVED
0
RANK
of 21,039
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 170,111
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
Question
What kinds of coverages do Code Prover support?
Hello. I'd like to know what kinds of coverages Code Prover support? Statement coverage Branch coverage MC/DC coverage The ...
6 years ago | 1 answer | 0
1
answerQuestion
Inquiry MISRA C 2012 6.1
Polyspace 2018a detected a warning, 6.1 Bit-fileds shall only be declared with an appropriate type. According to the polyspace ...
6 years ago | 1 answer | 0
1
answerInquiry MISRA C:2012 13.2
Thank you for your reply. I checked that these are volatile values, that's why MISRA-C 2012 13.2 error occurred. I have the o...
6 years ago | 0
Question
Inquiry MISRA C:2012 13.2
Hello. Polyspace 2018a tool detected MISRA C:2012 13.2 warning at "vulSdAdcCalPositiveModule3" , but I didn't know the reason ...
6 years ago | 1 answer | 0
