FLE file does not exist

Question

Daniel Mazilu 2015-1-13

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/169739-fle-file-does-not-exist

回答： Christian Bard 2015-3-4

Hello!

I have a problem in Polyspace when I try to compile the project in whole application mode. Analysis is possible only until level 1, after that is aborted, as you can see attached log and print-screens.

Do you have any idea how to make analysis reach level4?

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Christian Bard 2015-3-4

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/169739-fle-file-does-not-exist#answer_170063

Hi! In order to have higher precision results, please contact Technical Support with the complete results folder: they may provide a workaround to get higher precision results.

Note that you may relaunch in unit-by-unit mode (option -unit-by-unit) in order to isolate one file at origin of this abort. # If you have isolated only one file, you may relaunch w/o this file # Then please contact Technical Support with the complete results folder of the unit.

Note - with results completed at level 0, you already got some interesting result: 3 possible local niv and 6 red include one cor and 2 idp.