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'