Community Profile

photo

Craig


Last seen: environ 2 ans il y a Actif depuis 2013

Followers: 0   Following: 0

Contact

Statistiques

Feeds

Afficher par

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...

plus de 10 ans il y a | 1 réponse | 0

1

réponse