PolySpace-Bug-Finder-No-Desktop using psprj File
3 ビュー (過去 30 日間)
古いコメントを表示
Hi everybody,
we are using PolySpace GUI to configure our Project. After that we get this psprj File. If we want to use polyspace-bug-finder-no-desktop we have to configure everythig again. Is there a way to start polyspace-bug-finder-no-desktop using the configuration from psprj-File?
Thank you in advance, Sebastian
0 件のコメント
回答 (1 件)
Lucas Lebert
2017 年 6 月 2 日
Hi Sebastian,
if you run a verification from the gui a Subfolder ".settings" should be created in the results folder. This folder includes a launchingCommand.bat file (which executes the polyspace-bug-finder-nodesktop executable) Furthermore there is the txt file options_command.txt, which lists all the Polyspace options set in the psprj. This can then be used as an input to the polyspace-bug-finder.no-desktop executable by using the -options-file flag.
Have a great day,
~Lucas
0 件のコメント
参考
カテゴリ
Help Center および File Exchange で Bug Finder Analysis についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!