polyspacePackNGo
Generate and package options files to run Polyspace analysis on code generated from Simulink model
Since R2020b
Syntax
Description
polyspacePackNGo
extracts the Polyspace® options from your Simulink® model and creates an archive containing the options files containing the options
necessary to run the Polyspace analysis on the generated code.
examines the Simulink model archivePath
= polyspacePackNGo(mdlName
)mdlName
, extracts Polyspace options files from it, and packages the options files in the zip file located
at archivePath
. Before using polyspacePackNGo
,
generate code from your Simulink model. Then archive the generated code, for instance, by using
packNGo
. Generate the Polyspace options files from the Simulink model and include them in the code archive by using
polyspacePackNGo
. In a different development environment, when
running a Polyspace analysis of the generated code, use the options files included in the code
archive to preserve model-specific information, such as design range specifications. You
must have Embedded Coder® to use slbuild
(Simulink).
generates and packages the Polyspace options files that are generated according to the specification in
archivePath
= polyspacePackNGo(mdlName
,psOpt
)psOpt
. The object psOpt
must be a Polyspace options object that is generated by using pslinkoptions
. Using psOpt
, modify
the options for the Polyspace analysis.
generates and packages the Polyspace options files by using archivePath
= polyspacePackNGo(mdlName
,psOpt
,asModelRef
)asModelRef
to specify whether to
generate option files for model reference code or standalone code.
Examples
Input Arguments
Output Arguments
Version History
Introduced in R2020b