Craig

Last seen: 거의 3년 전 | 2013년부터 활동

Followers: 0 Following: 0

메시지

통계학

Feeds

질문

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

대략 11년 전 | 답변 수: 1 | 0

1

답변