Import/Export Checks/Comments Using PolySpace R2009b

Dear all,

I am using PolySpace R2009b. In our project we are running PolySpace analyses and then commenting the results. After running the analysis for a later version of the developed software and before adding new comments, we would like to import the checks and comments from the previous run. I know that this can be done using the menu item File -> Export/Import Checks and Comments...

Does anybody know whether this import/export feature is available using the command line, as well? How does the command look like?

Cheers Andreas

Answer 1

[Alexandre De Barros]

Hi Andreas!

You can try this command:

 C:\PolySpace\PolySpaceForAda_<release>\Verifier\wbin\gui-api.exe -diff-rte <orig_rte> <dest_rte>

where orig_rte is the .rte file of results already commented, and dest_rte is the .rte file of results where comments have to be imported.

Under Linux, the folder is bin not wbin, and the command is gui-api.

Alex

[Andreas Schweiger]

Hi Alex,

Thank you very much for this fast answer. :-)

I did a search for the binary you have mentioned. Unfortunately, I could not find it in our installation. :-(

Could it be the case that the gui-api binary is available in a later version than the one we have? On our machine we installe version R2009b.

Take care Andreas

[Alexandre De Barros]

Hi Andreas!

At that time, the import was very simple and was just the copy of the .rvw files (the internal files related to the review of checks) from one results folder to another one. So basically you can implement a command-line version of the import feature by creating a script that copy the .rvw files (located in the < results_folder >\ALL\PASS4 folder) from the commented results to the uncommented one.

Best regards,

Alexandre