photo

Ali Khalil


自 2015 起处于活动状态

Followers: 0   Following: 0

统计学

  • Thankful Level 1

查看徽章

Feeds

排序方式:

提问


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 前 | 1 个回答 | 0

1

个回答

提问


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 前 | 1 个回答 | 0

1

个回答

提问


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 前 | 1 个回答 | 0

1

个回答