Statistik
15 Fragen
0 Antworten
RANG
11.687
of 301.966
REPUTATION
4
BEITRÄGE
15 Fragen
0 Antworten
ANTWORTZUSTIMMUNG
6.67%
ERHALTENE STIMMEN
4
RANG
of 21.475
REPUTATION
N/A
DURCHSCHNITTLICHE BEWERTUNG
0.00
BEITRÄGE
0 Dateien
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANG
of 177.745
BEITRÄGE
0 Probleme
0 Lösungen
PUNKTESTAND
0
ANZAHL DER ABZEICHEN
0
BEITRÄGE
0 Beiträge
BEITRÄGE
0 Öffentlich Kanäle
DURCHSCHNITTLICHE BEWERTUNG
BEITRÄGE
0 Discussions
DURCHSCHNITTLICHE ANZAHL DER LIKES
Feeds
Frage
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...
mehr als 9 Jahre vor | 1 Antwort | 0
1
AntwortFrage
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...
mehr als 9 Jahre vor | 0 Antworten | 0
0
AntwortenFrage
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 ...
mehr als 9 Jahre vor | 0 Antworten | 0
0
AntwortenFrage
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...
mehr als 9 Jahre vor | 1 Antwort | 0
1
AntwortFrage
internal error:incorrect file
After double clicking on the Verified Results ...Polyspace is not showing the results ...instead it is telling "INTERNAL ERROR:I...
mehr als 9 Jahre vor | 0 Antworten | 0
0
AntwortenFrage
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...
mehr als 9 Jahre vor | 1 Antwort | 0
1
AntwortFrage
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...
mehr als 9 Jahre vor | 0 Antworten | 1
0
AntwortenFrage
difference between code prover & bug finder
what are the differences between POLYSPACE code prover & Bug finder.which one is suitable for development process ?
mehr als 9 Jahre vor | 2 Antworten | 3
2
AntwortenFrage
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....
mehr als 9 Jahre vor | 0 Antworten | 0
0
AntwortenFrage
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...
fast 10 Jahre vor | 1 Antwort | 0
1
AntwortFrage
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...
fast 10 Jahre vor | 1 Antwort | 0
1
AntwortFrage
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...
fast 10 Jahre vor | 1 Antwort | 0
1
AntwortFrage
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...
fast 10 Jahre vor | 2 Antworten | 0
2
AntwortenFrage
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...
fast 10 Jahre vor | 0 Antworten | 0
0
AntwortenFrage
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...
fast 10 Jahre vor | 0 Antworten | 0
