Chen Zhang

Last seen: 1 month 前 | 自 2023 起处于活动状态

Followers: 0 Following: 0

统计学

Feeds

提问

precision loss in read of 2d array in Polyspace R2021b code prover
Hello, I defined the range in DRS for my 2d array (f.e. const int16 array[2][5], and in DRS array 0 32000 permanent), and the a...

1 year 前 | 1 个回答 | 0

1

个回答