Seungyeop
Followers: 0 Following: 0
Statistics
RANK
140,923
of 295,569
REPUTATION
0
CONTRIBUTIONS
3 Questions
1 Answer
ANSWER ACCEPTANCE
0.0%
VOTES RECEIVED
0
RANK
of 20,247
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 154,105
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 ...
5 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 ...
5 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...
5 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 ...
5 years ago | 1 answer | 0
1
answer
You can also select a web site from the following list
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom(English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)