summaryrefslogtreecommitdiff
path: root/cesar/VisualState/Project1.vws
diff options
context:
space:
mode:
Diffstat (limited to 'cesar/VisualState/Project1.vws')
-rw-r--r--cesar/VisualState/Project1.vws117
1 files changed, 117 insertions, 0 deletions
diff --git a/cesar/VisualState/Project1.vws b/cesar/VisualState/Project1.vws
new file mode 100644
index 0000000000..7a6c58de49
--- /dev/null
+++ b/cesar/VisualState/Project1.vws
@@ -0,0 +1,117 @@
+[Header]
+Filetype=visualSTATE Validator workspace
+Revision=2
+[ProjectSetup]
+ProjectFile=Project1.vsp
+AutoQueue=FALSE
+TimerMsg=TRUE
+PromptActions=TRUE
+main_fsm=00000000010000000000000001
+main_fsm_RL=0000000001000000FFFFFFFFFD
+sta_connection=01000000010000000000000002
+sta_connection_RL=0100000001000000FFFFFFFFFE
+NofBreakPoints=0
+[RealLink Setup]
+Plugin Module=
+Timeout=1852731203
+[Altia Properties]
+Timeout=8000
+Arguments=-xrm Altia*AltiaScene*background:#f7e400
+ResetAtConnect=1
+ResetOnReset=1
+[Altia Event Parameters]
+main_fsm.CCO_TO_UCCO=0
+main_fsm.BEACON_DETECTED=0
+main_fsm.SC_JOIN=0
+main_fsm.CCO_TO_STA=0
+sta_connection.CONNECTION_REQUEST_REFUSED=0
+main_fsm.STA_TO_POND=0
+main_fsm.SC_ADD=0
+main_fsm.AUTHENTIFIE_STA=0
+main_fsm.TO_HANDOVER_IN_PROGRESS=0
+main_fsm.BECOME_PCO=0
+main_fsm.TO_HANDOVER=0
+sta_connection.CONNECTION_REQUEST_ACCEPTED=0
+SE_RESET=0
+main_fsm.BECOME_BACKUP_CCO=0
+main_fsm.HANDOVER_DONE=0
+sta_connection.NEW_CONNECTION=0
+main_fsm.BEACON_TIMER_EXPIRES=0
+main_fsm.LEAVE_BACKUP_CCO=0
+main_fsm.TO_CCO=0
+main_fsm.LEAVE_PCO=0
+main_fsm.USTT_EXPIRES=0
+main_fsm.UNAUTHENTIFIE_STA=0
+main_fsm.POND_TO_STA=0
+main_fsm.POND_TO_UCCO=0
+main_fsm.TO_USTA=0
+main_fsm.SC_TIMER_EXPIRES=0
+sta_connection.CLOSE_CONNECTION=0
+main_fsm.BBT_EXPIRES=0
+[Altia Action Parameters]
+main_fsm.launch_ustt_timer=0
+main_fsm.station_bbt_expires=0
+main_fsm.init_system=0
+main_fsm.transmit_unassoc_sta_mme=0
+main_fsm.launch_beacon_timer=0
+main_fsm.launch_bbt_timer=0
+[Trace Setup]
+Trace To=
+Trace Output=
+[Windows]
+nofSystemWnds=0
+nofEventWnds=0
+nofVariableWnds=0
+nofGuardWnds=0
+nofActionWnds=0
+nofSignalWnds=0
+nofTSF=0
+nofDynamicAnalyzeWnds=0
+nofStaticAnalyzeWnds=0
+[SystemWnd_0]
+WindowPlacement=2C0000000000000001000000FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFA6010000000000004C030000C9010000DD
+RealLink View=Off
+NofTrees=3
+Tree_0_System=main_fsm
+Tree_0_Topstate=Station
+Tree_1_System=sta_connection[0]
+Tree_1_Topstate=Topstate1
+Tree_2_System=sta_connection[1]
+Tree_2_Topstate=Topstate1
+OnlyCurrent=False
+ShowPrevious=False
+[EventWnd_0]
+WindowPlacement=2C0000000000000001000000FFFFFFFFFFFFFFFFFAFFFFFFE0FFFFFF0000000000000000A6010000C90100006A
+RealLink View=Off
+nofColumns=3
+ColumnData_0=00000000610100000100000063
+ColumnData_1=01000000640000000000000065
+ColumnData_2=02000000640000000100000067
+View Active Events=False
+Include Guards=True
+Global=Show
+main_fsm=Show
+sta_connection=Show
+Number of hidden Events=0
+[Test Sequence File 0]
+WindowPlacement=2C0000000000000001000000FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF2C0000003A000000780400002F02000030
+RealLink View=Off
+CommandColumn=100
+SystemColumn=100
+FileName=Test_ALL.vlg
+ShowStepOutput=True
+Check states=TRUE
+Check actions=TRUE
+Check signals=TRUE
+Check variables=TRUE
+[ActionWnd_0]
+WindowPlacement=2C0000000000000001000000FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF4C03000000000000F2040000C90100002C
+RealLink View=Off
+nofColumns=2
+ColumnData_0=00000000940000000100000095
+ColumnData_1=01000000640000000100000066
+[DynamicAnalyzeWnd_0]
+WindowPlacement=2C0000000200000003000000FFFFFFFFFFFFFFFFFAFFFFFFE0FFFFFF5800000074000000F80400009E01000064
+RealLink View=Off
+[Watch Window]
+Number of items=0