:EXPLORE
Bit-State
Bit-State-Exploration
Exhaustive
Exhaustive-Exploration
Top
Top
Bottom
Bottom
Random Walk
Random-Walk
Tree Search
Tree-Search
Up
Up 1
Down
Down 1
Tree Walk
Tree-Walk
Verify MSC
Verify-MSC
Navigator
Show-Navigator
Break

:COLLAPSED VIEW
Scope
Scope
Set Scope
Set-Scope
Scope Up
Scope-Up
Scope Down
Scope-Down
Call Stack
Stack
Ready Q
List-Ready-Queue
Process List
List-Process
Process
Examine-PId
Input Port
List-Input-Port
Signal
Examine-Signal-Instance
Timer List
List-Timer
Timer
Examine-Timer-Instance
Variable
Examine-Variable
:COLLAPSED TEST VALUES
List Value
List-Test-Values
List Par
List-Parameter-Test-Values
List Signal
List-Signal-Definitions
Clear Signal
Clear-Signal-Definitions
Def Value
Define-Test-Value
Def Par
Define-Parameter-Test-Value
Def Signal
Define-Signal
Extract Sigs
Extract-Signal-Definitions-From-MSC
Clear Value
Clear-Test-Value
Clear Par
Clear-Parameter-Test-Value
:MENU &Commands
Toggle &MSC Trace
msc-trace
Toggle &SDL Trace
sdl-trace
Show &Report Viewer
show-report-viewer
Show &Coverage Viewer
show-coverage-viewer
Show &Navigator
show-navigator
&Define Rule...
clear-rule ; define-rule
&Include Command Script...
include-file
:MENU Options&1
Show &Options
show-options
Reset
reset
Default
default-options
Advanced
def-sched all ; def-prio 1 1 1 1 1 ; def-max-input-port 2 ; def-rep-log maxq off
State Space: Transition...
Define-Transition
-                  : Scheduling...
Define-Scheduling
-                  : Priorities...
Define-Priorities
-                  : Input Port Length...
Define-Max-Input-Port-Length
-                  : Transition Length...
Define-Max-Transition-Length
-                  : Max Instance...
Define-Max-Instance
-                  : Timer Progress...
Define-Timer-Progress
-                  : Channel Queues...
Define-Channel-Queue
-                  : Max State Size...
Define-Max-State-Size
-                  : Symbol Time...
Define-Symbol-Time
Report        : Continue...
Define-Report-Continue
-                  : Prune...
Define-Report-Prune
-                  : Abort...
Define-Report-Abort
-                  : Report Log...
Define-Report-Log
MSC Trace Auto Popup...
define-msc-trace-autopopup
Report Viewer Auto Popup...
define-report-viewer-autopopup
:MENU Options&2
Show &Options
show-options
Bit-State       : Hash Size...
Define-Bit-State-Hash-Table-Size
-                     : Depth...
Define-Bit-State-Depth
-                     : Iteration Step...
Define-Bit-State-Iteration-Step
Random Walk: Repetitions...
Define-Random-Walk-Repetitions
-                     : Depth...
Define-Random-Walk-Depth
Exhaustive     : Depth...
Define-Exhaustive-Depth
Tree Search   : Depth...
Define-Tree-Search-Depth
MSC Ver        : Timer Check Level...
Define-Timer-Check-Level
-                     : Condition Check...
Define-Condition-Check
-                     : Depth...
Define-MSC-Verification-Depth
Autolink         : Concurrent TTCN...
Define-Concurrent-TTCN
-                     : Depth...
Define-Autolink-Depth
-                     : Generation Mode...
Define-Autolink-Generation-Mode
-                     : Global Timer...
Define-Global-Timer
-                     : Hash Table Size...
Define-Autolink-Hash-Table-Size
-                     : Options...
Define-Autolink-State-Space-Options
-                     : Signal Mapping...
Define-TTCN-Signal-Mapping
-                     : Compatibility...
Define-TTCN-Compatibility
-                     : Test Cases Directory...
Define-MSC-Test-Cases-Directory
-                     : Test Steps Directory...
Define-MSC-Test-Steps-Directory
-                     : Test Steps Format...
Define-TTCN-Test-Steps-Format
:MENU &Autolink1
MSC        : Save Test Case
Save-MSC-Test-Case
-              : Save Reports
Save-Reports-As-MSC-Test-Cases
-              : Save Error Reports
Save-Error-Reports-As-MSCs
-              : Save Test Step
Save-MSC-Test-Step
-              : List
List-MSC-Test-Cases-And-Test-Steps
-              : Clear Test Case
Clear-MSC-Test-Case
-              : Clear Test Step
Clear-MSC-Test-Step
Test case: Generate
Generate-Test-Case
-              : Translate
Translate-MSC-Into-Test-Case
-              : List
List-Generated-Test-Cases
-              : Print
Print-Generated-Test-Case
-              : Clear
Clear-Generated-Test-Case
-              : Save
Save-Generated-Test-Case
-              : Load
Load-Generated-Test-Cases
Test suite: Save
Save-Test-Suite
:MENU A&utolink2
Configuration: Define
Define-Autolink-Configuration
-                     : Print
Print-Autolink-Configuration
-                     : Clear
Clear-Autolink-Configuration
-                     : Save
Save-Autolink-Configuration
-                     : Load
Include-File
Constraint     : Define
Define-Constraint
-                     : List
List-Constraints
-                     : Rename
Rename-Constraint
-                     : Merge
Merge-Constraints
-                     : Parameterize
Parameterize-Constraint
-                     : Clear
Clear-Constraint
-                     : Save
Save-Constraint
-                     : Load
Load-Constraints
Timer              : Define
Define-Timer-Declaration