Statistics
RANK
101 025
of 300 331
REPUTATION
0
CONTRIBUTIONS
3 Questions
1 Answer
ANSWER ACCEPTANCE
0.0%
VOTES RECEIVED
0
RANK
of 20 920
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 168 124
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 ...
ungefär 6 år 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 ...
mer än 6 år 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...
mer än 6 år 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 ...
mer än 6 år ago | 1 answer | 0
