ion at simulator startup When the Simulator starts, three scripts are automatically executed, if they exist, as shown in Figure 4.60: 1. For all users geodesm.startup 2. For you geodesm.startup Simulator 3. For model v76.pr v76.startup Figure 4.60 The three Simulator startup files 1. The file geodesm.startup common to all the Simulator users, rarely used, located in the installation directory of ObjectGeode. 2. The file located for Unix in your home directory, $HOME/geodesm.startup, or for Windows NT in your profile, C:\winnt\profiles\your_name\ObjectGeode\geodesm.startup. 3. The file name.startup, where name is the name of the file containing the SDL system. For example, if your model is stored in v76.pr, the startup file must be named v76.startup, located in the current directory46. It contains commands specific to a certain model, such as firing the start transitions and loading feed commands. 46 In Unix, beware of navigating (using cd) to the directory containing the SDL model before launching ObjectGeode. Otherwise, the Simulator will run in the wrong directory: files will not be generated where you expect them and the model startup file will not be found. Interactive Simulation 97 A fourth script is executed if the Simulator is invoked with the -startup option. For example, geodesim v76 -startup my_file.wri Example of script geodesm.startup to put in your home directory (Unix) or in your profile directory (Windows NT): - - Abbreviated commands : alias h 'history' alias p 'print' alias u 'undo' alias r 'redo' alias t 'trace' alias ve 'verify' alias VO 'verify options -- Coverage rates: alias COV 'print state_cover_rate (system) ; \ print trans_cover_rate(system) print bb_cover_rate(system) - - States never executed: alias cs0 'cover state all 0:0' - - Transitions never executed: alias cto 'cover trans all 0 : 0' - - Basic blocks (paths) never executed: alias bb0 'cover bblocks all 0 : 0' - - More compact generated MSCs: (does not work on PC) define msc_xspace '140' define msc_yspace '20' - - To store only 2 