Ali Khalil
Followers: 0 Following: 0
Statistics
3 Questions
0 Answers
RANK
157,338
of 290,056
REPUTATION
0
CONTRIBUTIONS
3 Questions
0 Answers
ANSWER ACCEPTANCE
66.67%
VOTES RECEIVED
0
RANK
of 19,631
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 144,445
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,...
8 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...
8 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...
8 years ago | 1 answer | 0