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?

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

[Alexandre De Barros]

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

[Thomas]

Hello, thanks for this answer.

THAT'S IT! what I looked for.

Hopefully it works with R2015a - I will try this right now.

Thanks a lot. Kind regards. Thomas

[Alexandre De Barros]

Great ! Could you set this answer as "accepted"?

Alex

[Thomas]

Hello Alexandre.

Answer is accepted :-)

I tested it - it works fine.

Thanks a lot again.

Kind regards. Thomas