Community Profile

photo

Craig


Last seen: 6 months ago Active since 2013

Statistics

Content Feed

View by

Question


How do I get Polyspace Code Prover to recognize the printf function?
When I try to verify some code that simply includes a call to "printf()", it throws the error below. "Error: missing required...

9 years ago | 1 answer | 0

1

answer