photo

Chen Zhang


Last seen: 約1ヶ月 前 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...

2年弱 前 | 1 件の回答 | 0

1

回答