photo

Chen Zhang


Last seen: 3 månader ago Active since 2023

Followers: 0   Following: 0

Statistics

Feeds

View by

Question


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

mer än ett år ago | 1 answer | 0

1

answer