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?

1 次查看（过去 30 天）
Thomas
Thomas 2017-5-9
评论： Thomas 2017-5-11
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?

请先登录，再回答此问题。

采纳的回答

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
  3 个评论
显示 1更早的评论

请先登录，再进行评论。

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Get Started with Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by