photo

dakhlaoui zina


自 2016 起处于活动状态

Followers: 0   Following: 0

统计学

  • Thankful Level 1

查看徽章

Feeds

排序方式:

提问


[polyspace R2015b] need to add multiple headers
Hello All, I am using polyspace code prover 2015b. To avoid multiple inclusion of headers file i want to set the compile...

8 years 前 | 0 个回答 | 0

0

个回答

提问


[polyspace R2015b]:Error: remote verification with ID null is not accessible on server
Hello , I am encountering this error Error: remote verification with ID null is not accessible on server how can I dea...

8 years 前 | 0 个回答 | 0

0

个回答

提问


[polyspace Code Prover]: unit by unit mode and integration
Hello , I want to know how to set the polyspace Code prover to have a unit by unit mode and also the integration mode ...

8 years 前 | 0 个回答 | 0

0

个回答

提问


[polyspace code prover] How to fix the link errors ?
Hello All, I am using polyspace Code Prover R2014b; and I want to fix the link errors detected , i want to know also if t...

8 years 前 | 1 个回答 | 0

1

个回答

提问


[Polyspace] Classification of Defects by Impact
Hello, I am using Polyspace Bug Finder R2014b and I want to know how to add the Classification of Defects by Impact in the Da...

8 years 前 | 1 个回答 | 0

1

个回答