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

1 次查看（过去 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 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by