Ali Khalil
Followers: 0 Following: 0
Statistics
3 Questions
0 Answers
RANK
251,836
of 295,486
REPUTATION
0
CONTRIBUTIONS
3 Questions
0 Answers
ANSWER ACCEPTANCE
66.67%
VOTES RECEIVED
0
RANK
of 20,236
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 153,912
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
Repetitive unreal orange checks
Hi, Am working currently on Run time errors checks using Polyspace Code Prover and Bug finder and after running step is over,...
9 years ago | 1 answer | 0
1
answerQuestion
Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?
Hi, In Polyspace, after the verification run, we go and justify some checks, especially the orange ones, according to our und...
9 years ago | 1 answer | 0
1
answerQuestion
Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?
Hi, In Polyspace, after the verification run, we go and justify some checks, especially the orange ones, according to our und...
9 years ago | 1 answer | 0