MATLAB: What are the files needed to import comments from one Polyspace verification to another

Question

What is the minimum number of files needed to successfully import comments from the results of one verification to another?

Answer 1

When comments are added to the results of a verification, these comments are then stored in the file named_ _ps_comments.db, which is a database updated with every verification. To import comments, the user will need the results folder from a previous verification. These comments are linked to the source code, as recognized by the import command.

Hence, the comments import process, both programmatically and otherwise, needs the entire Results folder to be able to successfully import the comments into the results of the new verification. This is by design and meant to ensure that there are no discrepancies in the import process. Hence, there is no other workaround that you can employ to reduce the number of files that you need to archive for the import process.

Please refer the following documentation links for help with the import process:

https://www.mathworks.com/help/releases/R2020a/codeprover/ug/import-comments-from-previous-polyspace-analysis.html

https://www.mathworks.com/help/releases/R2020a/codeprover/ref/importcomments.html