photo

Praveen Nerji


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

9年弱 前 | 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年 前 | 1 件の回答 | 0

1

回答