t.katemann

自 2017 起处于活动状态

Followers: 0 Following: 0

统计学

Feeds

已回答
Polyspace Code Prover (R2014b) - Float32 Overflow due to static local variables
Hello Alexandre, thanks for the quick answer. Now I have tried to check the code snippet with Version R2016b, but I get the s...

7 years 前 | 0

提问

Polyspace Code Prover (R2014b) - Float32 Overflow due to static local variables
Hello, I have the following code function. When I check the code with Polyspace Code Prover (R2014b), I get an "orange" Ov...

7 years 前 | 3 个回答 | 0

3

个回答