Shaku kaa

Last seen: quasi 6 anni fa | Attivo dal 2016

Followers: 0 Following: 0

Statistica

Feeds

Domanda

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...

oltre 9 anni fa | 1 risposta | 0

1

risposta

Domanda

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...

oltre 9 anni fa | 0 risposte | 0

0

risposte

Domanda

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 ...

oltre 9 anni fa | 0 risposte | 0

0

risposte

Domanda

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...

oltre 9 anni fa | 1 risposta | 0

1

risposta

Domanda

internal error:incorrect file
After double clicking on the Verified Results ...Polyspace is not showing the results ...instead it is telling "INTERNAL ERROR:I...

oltre 9 anni fa | 0 risposte | 0

0

risposte

Domanda

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...

oltre 9 anni fa | 1 risposta | 0

1

risposta

Domanda

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...

oltre 9 anni fa | 0 risposte | 1

0

risposte

Domanda

difference between code prover & bug finder
what are the differences between POLYSPACE code prover & Bug finder.which one is suitable for development process ?

oltre 9 anni fa | 2 risposte | 3

2

risposte

Domanda

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....

oltre 9 anni fa | 0 risposte | 0

0

risposte

Domanda

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...

quasi 10 anni fa | 1 risposta | 0

1

risposta

Domanda

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...

quasi 10 anni fa | 1 risposta | 0

1

risposta

Domanda

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...

quasi 10 anni fa | 1 risposta | 0

1

risposta

Domanda

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...

quasi 10 anni fa | 2 risposte | 0

2

risposte

Domanda

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...

quasi 10 anni fa | 0 risposte | 0

0

risposte

Domanda

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...

quasi 10 anni fa | 0 risposte | 0

0

risposte