photo

Nikhil Chaudhari


2017년부터 활동

Followers: 0   Following: 0

통계

Feeds

보기 기준

질문


Problem while derefrance the void pointer?
The polyspace 2016b code prover is showing Illegal derefrance pointer while derefrance the void pointer into an uint32 or float...

거의 8년 전 | 답변 수: 1 | 0

1

답변

질문


The Analysis has been stop by timeout(after 86400 seconds).
Polyspace R2016b job got failed due to timeout after 24 hours in 0% itself on server. Job manager showing as the job completed....

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

1

답변