Statistics
5 Questions
0 Answers
RANK
115,734
of 300,338
REPUTATION
0
CONTRIBUTIONS
5 Questions
0 Answers
ANSWER ACCEPTANCE
40.0%
VOTES RECEIVED
0
RANK
of 20,922
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 168,149
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
Typecast integer to enum
Below is my test code which throws polyspace warning when i tried to typecast unsigned integer to enum. Is the typecasting of in...
1 year ago | 1 answer | 0
1
answerQuestion
"Out of memory" error in Polyspace Bug finder
Hello, I'm facing below mentioned errors while generating report in polyspace bug finder. /***************Error Log***********...
10 years ago | 1 answer | 0
1
answerQuestion
procedure multiply defined error in polyspace code prover
Hello, In Polyspace code prover, when verifying cross-files ANSI C compliance getting *procedure multiply defined* error for in...
10 years ago | 1 answer | 0
1
answerQuestion
__packed in polyspace code prover
Hello, Getting error *identifier "__packed" is undefined* in polyspace code prover. How to solve this? Thanks and Regards, ...
10 years ago | 1 answer | 0
1
answerQuestion
How to set Compiler option in Polyspace code prover?
Hello All, I am using polyspace code prover 2013b. To avoid multiple inclusion of header file i want to set the compiler optio...
10 years ago | 1 answer | 0
