Polyspace (R2016b) Win64: I get exception path(path) when I try to run a analysis from commandline
5 ビュー (過去 30 日間)
古いコメントを表示
Volker Trucksees
2018 年 1 月 9 日
コメント済み: ADITI AJAYKUMAR SHENOY
2019 年 12 月 4 日
Hi,
I created a options file with the Polyspace-configure command. When I try to run the analysis with polyspace-bug-finder-nodesktop and this file I just get the following exception:
Unexpected exception raised during ps_pckg.so call:
exception Path(Path) raised.
What is my Problem and how can I avoid it?
Thanks
3 件のコメント
ADITI AJAYKUMAR SHENOY
2019 年 12 月 4 日
Hey,
Can you please let me know the exact command and the options file?
I have windows header errors. Its says can't find include files windows.h winsock2.h.
Regards,
Aditi
採用された回答
Manan Mishra
2018 年 1 月 12 日
編集済み: Manan Mishra
2018 年 1 月 12 日
In Polyspace releases prior to R2017b, the "-prog" flag in "polyspace-configure" command expects only the name of your Polyspace project and not the full path.
The following documentation gives the syntax and description for the same:
In cases when "-prog" is not a real name but a path, the verification fails with the error you are receiving.
You can try giving just the project name with "-prog" and see if it works. For example, "-prog CWE114".
This issue has been fixed in Polyspace R2017b.
0 件のコメント
その他の回答 (0 件)
参考
カテゴリ
Help Center および File Exchange で Run Settings についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!