Polyspace UT cannot traverse subfolder structure
2 次查看(过去 30 天)
显示 更早的评论
采纳的回答
Anirban
2022-10-12
编辑:Anirban
2022-10-12
If I understand the question correctly, you are adding a path to an include folder but the subfolders are not being traversed. Indeed, you have to explicitly add paths to all folders in your Polyspace project.
If you set up a project in the Polyspace user interface, during project setup, there is a check box Add recursively that automatically adds paths to a subfolder if you provide the path to a top level folder (see image below).
If you are running analysis at the command line, you have to add a -I to every subfolder. You can write a script to generate -I's to a subfolder given a top level folder, or set up a project in the Polyspace user interface using the above convenient check box and generate an options file for runs at the command line.
2 个评论
Anirban
2022-10-13
Yes, if all those folders have a common parent folder, you can add the parent folder recursively. Otherwise, you can add each folder individually.
更多回答(0 个)
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis in Polyspace Platform User Interface 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!