Comparing 2 Polyspace code prover Results

6 visualizzazioni (ultimi 30 giorni)
Shaku kaa
Shaku kaa il 12 Feb 2017
i have run polyspace for 2 different configuration settings.i want to compare these configuration's results .Is it possible to compare the results of different configurations in polyspace code prover ?

Risposte (1)

Alexandre De Barros
Alexandre De Barros il 13 Feb 2017
I see two ways to do that:
1. export the results in a tsv format and compare the two text files
2. upload the two results to Polyspace Web Metrics and activate the Compare checkbox. See for more information.
Best regards,

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by