How do I get Polyspace Code Prover to recognize the printf function?

조회 수: 6 (최근 30일)
Craig
Craig 2013년 9월 3일
답변: Christian Bard 2014년 1월 29일
When I try to verify some code that simply includes a call to "printf()", it throws the error below.
"Error: missing required prototype for varargs. procedure 'printf'."
How can I get Polyspace Code Prover to recognize this stdio call? I've tried to add the path to the stdio.h file to the "Include" section of my project.

이 질문에 답변하려면 로그인하십시오.

답변 (1개)

Christian Bard
Christian Bard 2014년 1월 29일
For this question, there are many answers like for instance relaunching with -D __polyspace_no_printf. It depends mainly of the options, log file and includes that have been added. I recommend you to contact Technical Support with complete log file. A plus would also to provide a small sample that reproduces behavior.

카테고리

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!

Translated by