MATLAB: PS-CP: is it possible, to add a sourcefile which contains all necessary stubs for a PS project when all sourcefiles will be verified independently

Question

Hi all.

1. I use PS CP at commandline via Python script, so a "source_list.txt" is generated and contains all c-files of the PS modul/project.

2. via script a "stubs.c" (& stubs.h) is generated which contains all necessary stub-functions.

Normally I would update the "sources_list.txt" with the "stubs.c" entry now, if the whole module shall be verified.

But the sourcefiles MUST be verified independently, so the PS module/project is configured (-unit-by-unit).

Question – a lack of logical understanding:

how to verifiy the files independently and also with a additional "stub.c" (maybe for each c-file?) ?

Best, kind regards Thomas

PS: idea – appending all the stub-functions to the original c-file and check this file?

Answer 1

Hello,

in the scenario, the solution is to use the option -unit-by-unit-common-source. See the documentation of this option here:

http://www.mathworks.com/help/codeprover/ref/commonsourcefilesunitbyunitcommonsource.html

Best regards,

Alexandre