photo

Imran Ahmed


Last seen: 3 years ago |  Active since 2019

Followers: 0   Following: 0

Statistics

  • Thankful Level 1

View badges

Feeds

View by

Question


Can I exclude utility functions generated by rtw coder 2015b from static analysis?
Can I exclude utility functions such as asr_s32(), multiword_s32(), etc generated by rtw coder 2015b from polyspace code prover ...

5 years ago | 1 answer | 0

1

answer

Question


How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?
Can anyone please specify the syntax, how and where to use the command to do the above specified function.

5 years ago | 1 answer | 0

1

answer