photo

Craig


Last seen: quasi 3 anni fa |  Attivo dal 2013

Followers: 0   Following: 0

Messaggio

Statistica

Feeds

Visto da

Domanda


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

circa 11 anni fa | 1 risposta | 0

1

risposta