Statistiques
15 Questions
0 Réponses
RANG
11 697
of 301 897
RÉPUTATION
4
CONTRIBUTIONS
15 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
6.67%
VOTES REÇUS
4
RANG
of 21 449
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 177 207
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
Feeds
Question
Is it possible to compare 2 DRS files
Hi i want to compare 2 DRS files of different ranges of variables. Is there any way to compare these 2 DRS files? thanks in...
plus de 9 ans il y a | 1 réponse | 0
1
réponseQuestion
How DRS affects list of checks?
After adding DRS, no. of Green & orange checks got reduced but, gray check got increased . in our source file no. of green chec...
plus de 9 ans il y a | 1 réponse | 0
0
réponseQuestion
How to skip compilation after applying DRS to observe the change in the result?
each time when i modified DRS & give for a run Polyspace again compiles it & goes in intermediate & then to level 0,1,2,3.Is it ...
plus de 9 ans il y a | 1 réponse | 0
0
réponseQuestion
Comparing 2 Polyspace code prover Results
i have run polyspace for 2 different configuration settings.i want to compare these configuration's results .Is it possible to c...
plus de 9 ans il y a | 1 réponse | 0
1
réponseQuestion
internal error:incorrect file
After double clicking on the Verified Results ...Polyspace is not showing the results ...instead it is telling "INTERNAL ERROR:I...
plus de 9 ans il y a | 1 réponse | 0
0
réponseQuestion
Define as Not called by generated main
What is actually polyspace doing when we define a file as not called by generated main. sometimes when i select this the result...
plus de 9 ans il y a | 1 réponse | 0
1
réponseQuestion
which are the files hold the justification comments in polyspace code prover.
I want to know the list of files which carries the justification comments which are visible in the report.if i know the files na...
plus de 9 ans il y a | 1 réponse | 1
0
réponseQuestion
difference between code prover & bug finder
what are the differences between POLYSPACE code prover & Bug finder.which one is suitable for development process ?
plus de 9 ans il y a | 2 réponses | 3
2
réponsesQuestion
Stubbed function range specification
Was Getting full range for a Function(returns a Float data type range ) .But, wanted to set min. & max. value for that function....
plus de 9 ans il y a | 1 réponse | 0
0
réponseQuestion
Customizing Polyspace Code Prover Report
Right now Polyspace giving the information about all the files which we added initially.But, POlyspace is not using all the fil...
presque 10 ans il y a | 1 réponse | 0
1
réponseQuestion
How to Customize Polyspace code prover Report?
I want to have a report having error details for some of the files used in polyspace code prover verification. Thanks in adva...
presque 10 ans il y a | 1 réponse | 0
1
réponseQuestion
Boolean conditions in DRS of POlyspace code prover
i want to indiacate FALSE and TRUE for a constant/calibration in a Polyspace code prover's Data Range Specification... how to d...
presque 10 ans il y a | 1 réponse | 0
1
réponseQuestion
How is this DRS (Data Range Specification )in Polyspace code prover is generated?
hi, i want to know how this DRS in Polyspace Code Prover is generated. In my code , i have Global Variable of array size 8 but...
presque 10 ans il y a | 2 réponses | 0
2
réponsesQuestion
How to add array to constants in Polyspace Code Prover ?
In our code we have constants and calibration and it’s values are defined in .cpp file. When we run code prover, its creat...
presque 10 ans il y a | 1 réponse | 0
0
réponseQuestion
how can i add arrays to a constant in Polyspace code prover
Polyspace code prover creating functions for constant and calibration in main generated by polyspace . we have details of thes...
presque 10 ans il y a | 1 réponse | 0
