dakhlaoui zina
Followers: 0 Following: 0
Statistics
5 Questions
0 Answers
RANK
277 167
of 295 486
REPUTATION
0
CONTRIBUTIONS
5 Questions
0 Answers
ANSWER ACCEPTANCE
40.0%
VOTES RECEIVED
0
RANK
of 20 236
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 153 950
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
[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...
ungefär 8 år ago | 0 answers | 0
0
answersQuestion
[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...
ungefär 8 år ago | 0 answers | 0
0
answersQuestion
[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 ...
ungefär 8 år ago | 0 answers | 0
0
answersQuestion
[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...
ungefär 8 år ago | 1 answer | 0
1
answerQuestion
[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...
ungefär 8 år ago | 1 answer | 0