Can I include .XC source files in a Polyspace Code Prover project?

1 view (last 30 days)
Can I include .XC source files in a Polyspace Code Prover project? When I select source files, I don't see an option in the UI that allows me to select files of type 'XC'.

Accepted Answer

MathWorks Support Team
MathWorks Support Team on 10 Aug 2017
Please note that it is possible to add .XC files as source files to a PolySpace project. When adding source files using the PolySpace UI, there is an option to select files of all 'All File types'. I have included a screenshot detailing this workflow for your reference.

More Answers (0)

Products


Release

No release entered yet.

Community Treasure Hunt

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

Start Hunting!