MATLAB: Polyspace ‘Verification’/’source code compliance’ phase – why not parallel

Question

One of the slowest part of any Polyspace analysis is the source code verification step but this performed sequentially, one file at a time. Is there any good reason this phase does not make use of any multi-core environment and verify the code in parallel?

TIA Martin

Answer 1

Hello Martin,

Since R2014b, the compliance checking of the source files is parallelized.

See the release notes on this page : https://www.mathworks.com/help/codeprover/release-notes.html and look at the paragraph R2014b for more information.

Best regards,

Alexandre