FLE file does not exist

조회 수: 4(최근 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.

범주

Find more on Troubleshooting in Polyspace Products for Ada in Help Center and File Exchange

Community Treasure Hunt

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

Start Hunting!

Translated by