Merging ps_comments.db
4 次查看(过去 30 天)
显示 更早的评论
Hello, I want to know if merging ps_comments.db is possible in case PS Code Prover analysis for metrics was run in parallel by two persons on the same project but for different modules/sources.
Thank you,
Cristian
0 个评论
采纳的回答
Alexandre De Barros
2016-10-7
Hi Cristian,
instead of merging two databases, I suggest you to use the built-in import function.
To use it, open the results of one verification, choose the menu Tools/Import Comments... and from the dialog window, load the results of the second verification.
Best regards,
Alexandre
0 个评论
更多回答(1 个)
Cristian PASCALAU
2016-10-10
2 个评论
Anirban
2020-3-11
See details of command-line execution here: https://www.mathworks.com/help/bugfinder/ug/import-comments-from-previous-polyspace-analysis.html
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!