ile the SDL model plus the GOAL observer A. With a text editor, open v76.startup and remove the comment delimiter - in front of the feed source line, added in the previous exercise, to get: source v76_feed.wri B. In the SDL Editor, load the V.76 SDL model plus the GOAL observer obs_ex2.obs. C. Unload any other files from the SDL Editor, and quit (do NOT minimize) the ObjectGeode Launcher if running. D. In the SDL Editor, select Tools > SDL & MSC Simulator. E. In the ObjectGeode Launcher, check that the left area only contains v76.pr and obs_ex2.obs. Press the Build button. 7.4.11.2 Run the exhaustive simulation A. Press the Execute button to start the Simulator. The Simulator main window appears. B. Select Execute > Verify: in front of obs1, set Success Limit to 1 and Error Limit to 1 (to get only one scenario for each). Enter 100000 in Exploration: States Limit. C. Press Verify and confirm the verification startup. The exhaustive simulation starts: mode breadth error limit obs1 1 success limit obs1 1 define states_limit 100000 (8192 states 20063 transitions 2 S., depth=16, breadth=1936) (16384 states 42553 transitions 4 S., depth=18, breadth=3983) Several seconds later, the exhaustive simulation stops: verify stopped by states limit Number of states : 100000 Number of transitions : 279118 Maximum depth reached : 21 Maximum breadth reached : 22119 duration : 0 mn 31 S Number of exceptions : 1739 Number of deadlocks : 0 Number of stop conditions : 0 Number of errors : 3 Number of success : 4324 Exhaustive Simulation 255 As expected, the Simulator has stopped after exploring 100000 global states. It has discovered 3 error scenarios and 4324 success scenarios. The first success scenario discovered by observer obs1 is contained in the file: v76.obsl.sl.scn. Figure 7.66 shows the MSC generated (at block levels) after loading the success scenario into the Simulator. v76obs1_s1 inst_dlca inst_datalink inst_dlcb BLOCK/ BLOCK/ BLOCK/ v76test/dlca v76test/datalink v76test/dlcb I_estabreq( 0) v76frame( sabme : (.O.) ) v76fr