Generate and package options files to run Polyspace analysis on code generated from Simulink model
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 rtwbuild
(Embedded Coder).
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.
pslinkoptions
| slbuild
| rtwbuild
(Embedded Coder)