photo

Ali Khalil


Actif depuis 2015

Followers: 0   Following: 0

Statistiques

  • Thankful Level 1

Afficher les badges

Feeds

Afficher par

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,...

environ 9 ans il y a | 1 réponse | 0

1

réponse

Question


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...

environ 9 ans il y a | 1 réponse | 0

1

réponse

Question


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...

environ 9 ans il y a | 1 réponse | 0

1

réponse