Create options object to customize Polyspace runs from MATLAB command line
returns an options object with the configuration options for the S-Function.opts
= pslinkoptions(sfunc
)
Note
Before you run Polyspace® from MATLAB®, you must link your Polyspace and MATLAB installations. See Integrate Polyspace with MATLAB and Simulink (Polyspace Code Prover).
pslinkoptions Properties (Polyspace Code Prover)