sldvoptions - Access Simulink Design Verifier options object

Assertions

Set by the Assertion blocks option on the Design Verifier > Property Proving pane of the Configuration Parameters dialog box.

'EnableAll' | 'DisableAll' | {'UseLocalSettings'}

BlockReplacement

Set by the Apply block replacements option on the Design Verifier > Block Replacements pane of the Configuration Parameters dialog box.

'on' | {'off'}

BlockReplacementModelFileName

Set by the File path of the output model option on the Design Verifier > Block Replacements pane of the Configuration Parameters dialog box.

string {'$ModelName$_replacement'}

BlockReplacementRulesList

Set by the List of block replacement rules option on the Design Verifier > Block Replacements pane of the Configuration Parameters dialog box.

string {'<FactoryDefaultRules>'}

DataFileName

Set by the Data file name option on the Design Verifier > Results pane of the Configuration Parameters dialog box.

string {'$ModelName$_sldvdata'}

DisplayReport

Set by the Display report option on the Design Verifier > Report pane of the Configuration Parameters dialog box.

{'on'} | 'off'

DisplayUnsatisfiableObjectives

Set by the Display unsatisfiable test objectives option on the Design Verifier pane of the Configuration Parameters dialog box.

{'on'} | 'off'

HarnessModelFileName

Set by the Harness model file name option on the Design Verifier > Results pane of the Configuration Parameters dialog box.

string {'$ModelName$_harness'}

MakeOutputFilesUnique

Set by the Make output file names unique by adding a suffix check box on the Design Verifier pane of the Configuration Parameters dialog box.

{'on'} | 'off'

MaxProcessTime

Set by the Maximum analysis time option on the Design Verifier pane of the Configuration Parameters dialog box.

double {'600'}

MaxTestCaseSteps

Set by the Maximum test case steps option on the Design Verifier > Test Generation pane of the Configuration Parameters dialog box.

int32 {'500'}

MaxViolationSteps

Set by the Maximum violation steps option on the Design Verifier > Property Proving pane of the Configuration Parameters dialog box.

int32 {'20'}

Mode

Set by the Mode option on the Design Verifier pane of the Configuration Parameters dialog box.

{'TestGeneration'} | 'PropertyProving'

ModelCoverageObjectives

Set by the Model coverage objectives option on the Design Verifier > Test Generation pane of the Configuration Parameters dialog box.

'None' | 'Decision' | 'ConditionDecision' | {'MCDC'}

OutputDir

Set by the Output directory option on the Design Verifier pane of the Configuration Parameters dialog box.

string {'sldv_output/$ModelName$'}

Parameters

Set by the Apply parameters option on the Design Verifier > Parameters pane of the Configuration Parameters dialog box.

{'on'} | 'off'

ParametersConfigFileName

Set by the Parameter configuration file option on the Design Verifier > Parameters pane of the Configuration Parameters dialog box.

string {'sldv_params_template.m'}

ProofAssumptions

Set by the Proof assumptions option on the Design Verifier > Property Proving pane of the Configuration Parameters dialog box.

'EnableAll' | 'DisableAll' | {'UseLocalSettings'}

ProvingStrategy

Set by the Strategy option on the Design Verifier > Property Proving pane of the Configuration Parameters dialog box.

'FindViolation' | {'Prove'} | 'ProveWithViolationDetection'

RandomizeNoEffectData

Set by the Randomize data that does not affect outcome option on the Design Verifier > Results pane of the Configuration Parameters dialog box.

'on' | {'off'}

ReportFileName

Set by the Report file name option on the Design Verifier > Report pane of the Configuration Parameters dialog box.

string {'$ModelName$_report'}

ReportIncludeGraphics

Set by the Include screen shots and plots option on the Design Verifier > Report pane of the Configuration Parameters dialog box.

'on' | {'off'}

SaveDataFile

Set by the Save test data to file option on the Design Verifier > Results pane of the Configuration Parameters dialog box.

{'on'} | 'off'

SaveExpectedOutput

Set by the Include expected output values option on the Design Verifier > Results pane of the Configuration Parameters dialog box.

'on' | {'off'}

SaveHarnessModel

Set by the Save test harness as model option on the Design Verifier > Results pane of the Configuration Parameters dialog box.

{'on'} | 'off'

SaveReport

Set by the Generate report of the results option on the Design Verifier > Report pane of the Configuration Parameters dialog box.

{'on'} | 'off'

TestConditions

Set by the Test conditions option on the Design Verifier > Test Generation pane of the Configuration Parameters dialog box.

'EnableAll' | 'DisableAll' | {'UseLocalSettings'}

TestObjectives

Set by the Test objectives option on the Design Verifier > Test Generation pane of the Configuration Parameters dialog box.

'EnableAll' | 'DisableAll' | {'UseLocalSettings'}

TestSuiteOptimization

Set by the Test suite optimization option on the Design Verifier > Test Generation pane of the Configuration Parameters dialog box.

{'CombinedObjectives'} | 'IndividualObjectives' | 'LargeModel'