"Query regarding custom rules or global defaults for initial drs-template.xml generation in Polyspace Code Prover"

"Does Polyspace Code Prover provide any configuration switches or global default settings to modify the rules when the drs-template.xml file is automatically generated for the first time?"

[Torsten]

Answer from AI:

No, Polyspace Code Prover does not provide any configuration switches or global default settings to modify the rules or contents when the drs-template.xml file is generated for the first time.

Key Facts About drs-template.xml Generation:

• The Process: The file is automatically generated during the compilation and preprocessing phase (e.g., when running -to compile or -to cpp-normalize). It serves as a raw blueprint.
• The Contents: It unconditionally extracts and lists all global variables, function inputs, and stub parameters discovered in your source code. You cannot apply filters, exclude specific modules, or change the default generation rules before the file is built.
• The Workflow: The tool is designed to provide a complete, unfiltered template first. Any customization (such as restricting variable ranges or initializing pointers) must be done after the template is generated, either manually or through the Polyspace User Interface.

If you want a confirmation of the answer from a human expert, contact support:

https://uk.mathworks.com/support/contact_us.html

[ZHU]

Thank you for the guidance! Your suggestion pointed me in the right direction.