4.3.7.3 Running the Simulator without its graphical interface To perform automatic tasks such as automatic replay of scenarios, the Simulator can be launched without its graphical interface; this is called batch mode. To run in batch mode, after the build (textual command: gsmcomp v76), type the following command (suppose the SDL model is in the file v76.pr) in a DOS or Unix shell (containing v76.sim): F : \DONNEES\V76> geodesim -b v76 SDL Simulator V4.2.2 Copyright 1989-2001 by Telelogic AB. 1 : atob (1) : start 2 : btoa (1) : start 3 : dlca!dispatch : start 4 : dlcb!dispatch : start The Simulator displays the list of ready transitions. To fire a transition, just enter its number: step = 1 trans btoa (1) : start + START ; + NEXTSTATE ready; 1 : atob (1) : start 2 : dlca!dispatch : start 3 : dlcb!dispatch : start Then you can enter any Simulator textual command: > print now now = 0.0 The commands to execute can be inserted in the file v76.startup, automatically played when the Simulator starts. For example, the automatic simulation script scriptl.wri described in Section 4.3.6 can be executed automatically if the file v76.startup contains source scripti . wri 4.3.7.4 Commands history To reenter a Simulator command like in a Unix shell, type history, and the 10 last executed commands will be displayed: > history Interactive Simulation 99 1 : let X = 34 2 : print state 3 : alias f 'feed' 4 : print now 5 : print trans_cover_rate (v76test) 6 : print dlcs 7 : trace 8 : redo 6 9 : mode depth 10 : history Then you can reexecute a command by typing !n, where n is the number in the list. For example, !4 reexecutes print now, and !! reexecutes the last command. 4.3.7.5 Examining the SDL model: print The print command displays the contents of any SDL or simulation element. Here are some examples, to type in the Simulator command line, shown in Figure 4.44. To display the current time: > print now now = 48.0 To display the synonym maxDLC: > print maxDLC maxdlc = 1 To display all the array variables named DLCs: > print DLCs d