MATLAB Answers

0

How to suppress correctness condition

Lenin Nelson 님이 질문을 제출함. 28 May 2018
최근 활동 Anirban 님이 답변함. 29 Jun 2018
Pointer does point to a valid function.
option which should be enabled\disabled to overcome the error.

  댓글 수: 0

로그인 to comment.

답변 수: 1

Anirban 님의 답변 29 Jun 2018

Hi Lenin,
You have to provide the specific situation or a reproduction code snippet to show why the Correctness Condition error is incorrect.
In Polyspace Code Prover, unlike Polyspace Bug Finder, you cannot disable specific checks. You can change the underlying assumptions so that certain aspects of a check are enabled or disabled. For instance, if you use the option -stubbed-pointers-are-unsafe, you enable the check for NULL on pointers from unknown sources.
In R2015b, the Correctness Condition check has been improved so that imprecise results are in orange instead of red. This change brings the Correctness Condition check in line with other run-time checks. See R2015b Release Notes . If you follow a policy of fixing all red checks and justifying orange checks as needed, this change can help you.

  댓글 수: 0

로그인 to comment.



Translated by