Estadística
15 Preguntas
0 Respuestas
CLASIFICACIÓN
11.697
of 301.886
REPUTACIÓN
4
CONTRIBUCIONES
15 Preguntas
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
6.67%
VOTOS RECIBIDOS
4
CLASIFICACIÓN
of 21.445
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 177.149
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Pregunta
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...
más de 9 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
más de 9 años hace | 0 respuestas | 0
0
respuestasPregunta
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 ...
más de 9 años hace | 0 respuestas | 0
0
respuestasPregunta
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...
más de 9 años hace | 1 respuesta | 0
1
respuestaPregunta
internal error:incorrect file
After double clicking on the Verified Results ...Polyspace is not showing the results ...instead it is telling "INTERNAL ERROR:I...
más de 9 años hace | 0 respuestas | 0
0
respuestasPregunta
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...
más de 9 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
más de 9 años hace | 0 respuestas | 1
0
respuestasPregunta
difference between code prover & bug finder
what are the differences between POLYSPACE code prover & Bug finder.which one is suitable for development process ?
más de 9 años hace | 2 respuestas | 3
2
respuestasPregunta
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....
más de 9 años hace | 0 respuestas | 0
0
respuestasPregunta
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...
casi 10 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
casi 10 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
casi 10 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
casi 10 años hace | 2 respuestas | 0
2
respuestasPregunta
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...
casi 10 años hace | 0 respuestas | 0
0
respuestasPregunta
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...
casi 10 años hace | 0 respuestas | 0
