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

7 years 前 | 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 years 前 | 1 个回答 | 0

1

个回答