www.gusucode.com > polyspace_bf 案例源码 matlab代码程序 > polyspace_bf/CreateandeditanoptionsobjectforTargetLinkatthecommandlinExample.m

    %% Create and edit an options object for TargetLink at the command line  

% Copyright 2015 The MathWorks, Inc.


%% 
% Create a Polyspace(R) options object called |new_opt| with TargetLink(R)
% parameters: 
new_opt = pslinkoptions('tl')  

%% 
% Set the |OpenProjectManager| option to true to follow the progress in
% the Polyspace interface. Also change the configuration to check for both
% run-time errors and MISRA C(R) coding rule violations: 
new_opt.OpenProjectManager = true;
new_opt.VerificationSettings = 'PrjConfigAndMisra'