MATLAB Answers

FLE file does not exist

3 ビュー (過去 30 日間)
Daniel Mazilu
Daniel Mazilu 2015 年 1 月 13 日
回答済み: 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?

回答 (1 件)

Christian Bard
Christian Bard 2015 年 3 月 4 日
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.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by