Seungyeop
Followers: 0 Following: 0
Statistics
RANK
140.128
of 290.081
REPUTATION
0
CONTRIBUTIONS
3 Questions
1 Answer
ANSWER ACCEPTANCE
0.0%
VOTES RECEIVED
0
RANK
of 19.636
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 144.504
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 ...
meer dan 4 jaar 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 ...
bijna 5 jaar 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...
bijna 5 jaar 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 ...
bijna 5 jaar ago | 1 answer | 0