om Walk Tree Walk L EstabReq (1) L_EstabResp Exhaustive Tree Search Verify MSC L SetparmReq L SetparmResp Navigator L ReleaseReq (0) ReleaseReq (1) Bottom Break L DataReq (0, 86) , DataReq (1, 39) Group L EstabResp TEST VALUES Group L SetparmResp List Value Def Value Clear Value Disabled signals: L EstabReq (0) List Par Def Par Clear Par EstabReq (1) L ReleaseReq (0) List Signal Def Signal L ReleaseReq (1) L SetparmReq Clear Signal Extract Sigs DataReq (0, 86) L_DataReq (1, .39) Disabled channels: Command Figure 7.15 The Validator showing signal definitions Truncated paths: 49564. Unique system states: 213820. Size of hash table: 100000 (400000 bytes) Current depth: 73 Max depth: 100 Min state size: 212 Max state size: 692 Symbol coverage : 96.31 B. The Report Viewer appears. As indicated in the results above, nine reports have been generated¹. Double-click on the ImplSigCons box to unfold it, as shown in Figure 7.16. The left-most box shows that signal V76frame, transmitted by process AtoB to process dispatch in block DLCb, has been discarded (implicit signal consumption). D. Double-click on this box: the MSC Editor displays the trace of the scenario leading to the error; the end of this trace is shown in Figure 7.17. 1 The Validator automatically generates a file reports.rep containing the detected reports, including the path (the transition number at each step, similar to .scn files in ObjectGeode) leading from the initial state to the detected state. 196 Validation of Communications Systems with SDL Report Viewer 9 reports 7 ImplSigCons Warning: Implicit Warning: Implicit Warning: Implicit Warning: Implicit Warnir signal consumption signal consumption signal consumption signal consumption signal of signal V76frame of signal of signal of signal L_DataReq of sign Sender: AtoB:1 L_ReleaseReq L_ReleaseReq Sender: <<Block Sende Receiver: <<Block Sender: <<Block Sender: <<Block DLCa> > dispatch:1 DLCb>> dispatch:1 DLCb>> dispatch:1 DLCb>> dispatch:1 Receiver: <<Block Receiv epth: 45 Receiver: <<Block Receiver: <<Bl