Display unsatisfiable test objectives

www.kxcad.net Home > CAE Software Index > MATLAB Index >

Specify whether to display a warning for unsatisfiable test objectives.

Settings

Default: on

On

Displays a warning in the Simulation Diagnostics Viewer when Simulink Design Verifier is unable to satisfy a test objective.

Off

Does not display a warning when Simulink Design Verifier is unable to satisfy a test objective.

Dependency

This parameter is enabled by Mode.

Command-Line Information