How do I change Design Verifier default confinguration parameter preferences?

4 views (last 30 days)
Problem Description: I would like to change the default settings of the Design Verifier configuration parameters for Simulink.
I understand that the default settings for the Configuration Parameters can be changed as follows: Go to File->Preferences->Simulink Preferences-> Configuration Defaults. However, "Design Verifier" does not show up as a listed item to change.
Furthermore, if I go into Tools->Design Verifier->Options... it will show up under the Configuration Parameters as a listed item but obvioulsy I cannot change these settings because I'm not under preferences.
Any help would be greatly appreciated

Answers (1)

Doug Eastman
Doug Eastman on 29 Jan 2013
Hi Erik,
I don't know of a way to set the default options for Simulink Design Verifier, however using the command line version of the tool you can save a set of options and use that "default" to analyze any model. The functions involved are sldvoptions and sldvrun.
You can use sldvoptions to create an options object with your desired settings that you can save to a file. Then you just need to load that file and run:
[status, files] = sldvrun('modelname', opts);

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!