Statistiques
RANG
90 589
of 301 067
RÉPUTATION
0
CONTRIBUTIONS
3 Questions
1 Réponse
ACCEPTATION DE VOS RÉPONSES
0.0%
VOTES REÇUS
0
RANG
of 21 165
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 172 644
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE 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 ...
plus de 6 ans il y a | 1 réponse | 0
1
réponseQuestion
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 ...
plus de 6 ans il y a | 1 réponse | 0
1
réponseInquiry 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...
plus de 6 ans il y a | 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 ...
plus de 6 ans il y a | 1 réponse | 0
