Generated code from Simulink model to use in Polyspace Bug Finder

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?

Answer 1

[ES]

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).

[Birdman]

Thank you.