Schema for XML import of comments in polyspace code prover

2 次查看（过去 30 天）

Pradeepkumar 2025-7-10

编辑： Pradeepkumar 2025-7-11

Hello,

In polyspace code prover, we have a use case where same pointer is used at more than 100 lines.

We wanted to use an input file like xml to "Import Comments" as justifications into polyspace code prover.

I see an XML or rte import is possible but could not find the format for these files.

Aim is to read and assess each line of code, this will not be skipped.

But the expectation is to mark the major chunk of findings which is same and modify them in bulk.

Anyone tried this ? Please shed some light on this topic.

在 Help Center 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

R2022b

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

Translated by