Generated code from Simulink model to use in Polyspace Bug Finder

2 views (last 30 days)
Birdman
Birdman on 5 Oct 2017
Commented: Birdman on 5 Oct 2017
Guys I have a problem. I need to use the generated code from a Simulink model which is coded by Simulink Real-Time Coder in Polyspace Bug Finder. I don't know which .c and .h files to put in Source and Include folder respectively. Does anyone know anything about it?

Sign in to answer this question.

Accepted Answer

ES
ES on 5 Oct 2017
Polyspace (Bug Finder or Code Prover) will pick the .c and .h files automatically and create the necessary project files. Just launch Polyspace from Simulink menu bar (under Code or Tools based on the version of MATLAB you are using).

More Answers (0)

Categories

Find more on Simulink Coder in Help Center and File Exchange

Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!