sldvrun
Analyze model
Syntax
Description
analyzes the current
model to generate the test cases that provide the model coverage or prove the model
properties.status
= sldvrun
Examples
Input Arguments
Output Arguments
Alternatives
To run an analysis with Simulink Design Verifier, on the Design Verifier tab, in the Mode section, use any of these options:
Select Design Error Detection, then click Detect Design Errors.
Select Test Generation, then click Generate Tests.
Select Property Proving, then click Prove Properties.