photo

Ali Khalil


Aktiv seit 2015

Followers: 0   Following: 0

Statistik

  • Thankful Level 1

Abzeichen anzeigen

Feeds

Anzeigen nach

Frage


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

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


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

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


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

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort