Debugging (Using Stateflow)

Using Stateflow

Debugging Conflicting Transitions

What Is a Conflicting Transition?

A transition conflict exists if, at any step in the simulation, there are two equally valid transition paths from a source to a destination. In the case of a conflict, equivalent transitions (based on their labels) are evaluated based on the geometry of the outgoing transitions. See "Execution Order" for more information.

Detecting Conflicting Transitions

To detect conflicting transitions during a simulation:

Build the target with the debugging enabled.
Invoke the Debugger and enable Transition Conflict checking
Start the simulation

[ Previous | Help Desk | Next ]