Check an execution trace matches the expected specification: 
- open the Trace
- go to the Diagram / Compare with other diagram... menu
- Select Spec vs trace in the Diff type
- Select Specification in the Spec MSC drop list
- Select Trace in the Trace MSC drop list
- Click on OK
The trace matches the required specification.
