Polypspace(R2014a) code prover report shows "NA"?
3 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Why does rtf report of Polypspace(R2014a) code prover shows "NA" for some some of the files in column "proven" of the table "Chapter 2. Polyspace Proven"?
0 comentarios
Respuestas (1)
Alexandre De Barros
el 5 de Ag. de 2015
Hi Dinesh,
The column Proven represents the selectivity rate, i.e. the percentage of 'proven checks' that is to say the checks that are not orange (unproven).
NA means Not Available, probably because there is no check in this file (look at the other statistics on the same line,, they should be 0), so it makes no sense to give a selectivity rate.
Best regards,
Alexandre
2 comentarios
Alexandre De Barros
el 6 de Ag. de 2015
So it means that you have to find why the functions are not called, and this is another question to investigate (probably related to your other question on MATLAB Answers).
And if you think that the initial question is answered, please set it as "Answered".
Thanks !
Best regards,
Alexandre
Ver también
Categorías
Más información sobre Generate Reports en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!