Praveen Nerji

Last seen: 3 years 前 | 自 2015 起处于活动状态

Followers: 0 Following: 0

消息

Automotive Electronics Engineer

统计学

Feeds

提问

What are the configuration settings/criteria for Polyspace Keil compiled code?
I couldn't compile code in Polyspace

8 years 前 | 0 个回答 | 0

0

个回答

提问

In Polyspace Code, while configuring DRS, even if a user defined function's argument is initialized with "Init Range", it is not affective in verification
if true Func1(arg1, arg2, arg3) { .... .... local variable = arg1 + arg2; if (arg3>=200) { /*do so...

9 years 前 | 1 个回答 | 0

1

个回答