How do I get Polyspace Code Prover to recognize the printf function?
1 次查看(过去 30 天)
显示 更早的评论
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.
0 个评论
回答(1 个)
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.
0 个评论
另请参阅
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!