EXECUTOR_LOGOPTIONS - TTCN Logger v2.2 options: TimeStampFormat:=Time; LogEntityName:=No; LogEventTypes:=Subcategories; SourceInfoFormat:=Stack; *.FileMask:=ACTION | TESTCASE; *.ConsoleMask:=LOG_ALL; LogFileSize:=0; LogFileNumber:=1; DiskFullAction:=Error
EXECUTOR_RUNTIME - Connected to MC.
PARALLEL_UNQUALIFIED - Executing control part of module EmergencyLoggingTest.
STATISTICS_UNQUALIFIED EmergencyLoggingTest.ttcn:91 Execution of control part in module EmergencyLoggingTest started.
TIMEROP_START EmergencyLoggingTest.ttcn:92 Start timer t: T s
TIMEROP_READ EmergencyLoggingTest.ttcn:94 Read timer t: T s
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:95 Action: Start: S s
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:97 Action: Outer loop follows with index 0
TESTCASE_START EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Test case tc_user started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:35 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:36 Action: >>>>ACTION in tc_user, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:40 Action: >>>>ACTION in tc_user, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:41 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 This line reached last
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Local verdict of MTC: pass
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Test case tc_user finished. Verdict: pass
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:99 Action: Outer loop finished with index 0
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:97 Action: Outer loop follows with index 1
TESTCASE_START EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Test case tc_user started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:35 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:36 Action: >>>>ACTION in tc_user, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:40 Action: >>>>ACTION in tc_user, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:41 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 This line reached last
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Local verdict of MTC: pass
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Test case tc_user finished. Verdict: pass
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:99 Action: Outer loop finished with index 1
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:97 Action: Outer loop follows with index 2
TESTCASE_START EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Test case tc_user started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:35 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:36 Action: >>>>ACTION in tc_user, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:40 Action: >>>>ACTION in tc_user, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:41 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 This line reached last
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Local verdict of MTC: pass
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Test case tc_user finished. Verdict: pass
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:99 Action: Outer loop finished with index 2
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:97 Action: Outer loop follows with index 3
TESTCASE_START EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Test case tc_user started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:35 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:36 Action: >>>>ACTION in tc_user, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:40 Action: >>>>ACTION in tc_user, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:41 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 This line reached last
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Local verdict of MTC: pass
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Test case tc_user finished. Verdict: pass
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:99 Action: Outer loop finished with index 3
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:97 Action: Outer loop follows with index 4
TESTCASE_START EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Test case tc_user started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:34 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:35 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:36 Action: >>>>ACTION in tc_user, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:38 tc_user loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:40 Action: >>>>ACTION in tc_user, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:41 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 This line reached last
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Local verdict of MTC: pass
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:98->EmergencyLoggingTest.ttcn:42 Test case tc_user finished. Verdict: pass
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:99 Action: Outer loop finished with index 4
TESTCASE_START EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:57 Test case tc_PTC_create_EL started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:57 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:57 Port external_port was started.
PARALLEL_UNQUALIFIED EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:59 Creating new PTC with component type Titan_LogTestDefinitions.MTCType.
PARALLEL_UNQUALIFIED EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:60 Creating new PTC with component type Titan_LogTestDefinitions.MTCType.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:62 Last line before the DTE
ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Dynamic test case error: Assignment of an unbound integer value.
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 setverdict(error): none -> error
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Performing error recovery.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Local verdict of MTC: error
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Local verdict of PTC with component reference 3: none (error -> error)
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Local verdict of PTC with component reference 4: none (error -> error)
TESTCASE_FINISH EmergencyLoggingTest.ttcn:101->EmergencyLoggingTest.ttcn:63 Test case tc_PTC_create_EL finished. Verdict: error
TIMEROP_READ EmergencyLoggingTest.ttcn:102 Read timer t: T s
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:103 Action: Finish: F
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:104 Action: Elapsed time:E s
TIMEROP_STOP EmergencyLoggingTest.ttcn:104 Stop timer t: T s
STATISTICS_UNQUALIFIED EmergencyLoggingTest.ttcn:104 Execution of control part in module EmergencyLoggingTest finished.
PARALLEL_UNQUALIFIED - Executing control part of module Titan_LogTest.
STATISTICS_UNQUALIFIED Titan_LogTest.ttcn:301 Execution of control part in module Titan_LogTest started.
TESTCASE_START Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:54 Test case tc_action started.
PORTEVENT_STATE Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:54 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:54 Port external_port was started.
ACTION_UNQUALIFIED Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:55 Action: This is an action
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Test case tc_action finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:60 Test case tc_default started.
PORTEVENT_STATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:60 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:60 Port external_port was started.
DEFAULTOP_ACTIVATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:62 Altstep as_1 was activated as default, id 1
TIMEROP_START Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:63 Start timer t: T s
TIMEROP_START Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:65 Start timer t1: T s
TIMEROP_TIMEOUT Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:67->Titan_LogTest.ttcn:44 Timeout t: T s
DEFAULTOP_EXIT Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:67 Default with id 1 (altstep as_1) finished. Skipping current alt statement or receiving operation.
DEFAULTOP_DEACTIVATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:71 Default with id 1 (altstep as_1) was deactivated.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Test case tc_default finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:78 Test case tc_error1 started.
PORTEVENT_STATE Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:78 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:78 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:80 >>>tc_error1: last line before DTE<<<
ERROR_UNQUALIFIED Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Dynamic test case error: Assignment of an unbound integer value.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 setverdict(error): none -> error
EXECUTOR_RUNTIME Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Performing error recovery.
PORTEVENT_STATE Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Local verdict of MTC: error
VERDICTOP_FINAL Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Test case tc_error1 finished. Verdict: error
USER_UNQUALIFIED Titan_LogTest.ttcn:306 error
TESTCASE_START Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:88 Test case tc_ex_runtime started.
PORTEVENT_STATE Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:88 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:88 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:89 >>tc_ex_runtime
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Test case tc_ex_runtime finished. Verdict: none
TESTCASE_START Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:126 Test case tc_function_rnd started.
PORTEVENT_STATE Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:126 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:126 Port external_port was started.
FUNCTION_RND Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:127 Random number generator was initialized with seed : srand X
FUNCTION_RND Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:127 Function rnd() returned R.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Test case tc_function_rnd finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:143 Test case tc_parallel_portconn started.
PORTEVENT_STATE Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:143 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:143 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:144 Creating new PTC with component type Titan_LogTestDefinitions.MTCType2.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:145 Creating new PTC with component type Titan_LogTestDefinitions.MTCType2.
USER_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:146 Creates finished
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:147 Connecting ports 5:internal_port and 6:internal_port.
PARALLEL_PORTCONN Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:147 Connect operation on 5:internal_port and 6:internal_port finished.
USER_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:149 Connect finished
USER_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:154 tc_parallel_portconn done finished
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Local verdict of PTC with component reference 5: pass (pass -> pass)
VERDICTOP_FINAL Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Local verdict of PTC with component reference 6: pass (pass -> pass)
TESTCASE_FINISH Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Test case tc_parallel_portconn finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:159 Test case tc_parallel_portmap started.
PORTEVENT_STATE Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:159 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:159 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:160 Creating new PTC with component type Titan_LogTestDefinitions.MTCTypeExternal.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:161 Mapping port 7:external_port to system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:161 Map operation of 7:external_port to system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:167 Unmapping port 7:external_port from system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:167 Unmap operation of 7:external_port from system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:168 Stopping PTC with component reference 7.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Local verdict of PTC with component reference 7: none (none -> none)
TESTCASE_FINISH Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Test case tc_parallel_portmap finished. Verdict: none
TESTCASE_START Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:189 Test case tc_portevent started.
PORTEVENT_STATE Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:189 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:192 Creating new PTC with component type Titan_LogTestDefinitions.MTCTypeExternal.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:193 Mapping port 8:external_port to system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:193 Map operation of 8:external_port to system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:197 Unmapping port 8:external_port from system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:197 Unmap operation of 8:external_port from system:external_port finished.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Local verdict of PTC with component reference 8: none (none -> none)
TESTCASE_FINISH Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Test case tc_portevent finished. Verdict: none
TESTCASE_START Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:214 Test case tc_timer started.
PORTEVENT_STATE Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:214 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:214 Port external_port was started.
TIMEROP_START Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:215 Start timer t: T s
TIMEROP_TIMEOUT Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:217 Timeout t: T s
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:217 setverdict(pass): none -> pass
TIMEROP_START Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:220 Start timer t1: T s
TIMEROP_READ Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:221 Read timer t1: T s
USER_UNQUALIFIED Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:222 Mytime: T s
USER_UNQUALIFIED Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:224 true
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:225 setverdict(pass): pass -> pass, component reason not changed
TIMEROP_STOP Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:226 Stop timer t1: T s
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:228 setverdict(pass): pass -> pass, component reason not changed
TIMEROP_START Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Start timer t1: T s
PORTEVENT_STATE Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Test case tc_timer finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:234 Test case tc_UserLog started.
PORTEVENT_STATE Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:234 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:234 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:235 This is a UserLog
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Test case tc_UserLog finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:257 Test case tc_matching started.
PORTEVENT_STATE Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:257 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:257 Port external_port was started.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:260 setverdict(pass): none -> pass
USER_UNQUALIFIED Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261  matched
PORTEVENT_STATE Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Test case tc_matching finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:268 Test case tc_verdict started.
PORTEVENT_STATE Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:268 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:268 Port external_port was started.
VERDICTOP_GETVERDICT Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:269 getverdict: none
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Test case tc_verdict finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:294 Test case tc_encdec started.
PORTEVENT_STATE Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:294 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:294 Port external_port was started.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Test case tc_encdec finished. Verdict: pass
STATISTICS_UNQUALIFIED Titan_LogTest.ttcn:316 Execution of control part in module Titan_LogTest finished.
EXECUTOR_RUNTIME - Executing test case tc_user in module EmergencyLoggingTest.
TESTCASE_START EmergencyLoggingTest.ttcn:34 Test case tc_user started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:34 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:34 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:35 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:36 Action: >>>>ACTION in tc_user, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:38 tc_user loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:40 Action: >>>>ACTION in tc_user, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:41 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:42 This line reached last
PORTEVENT_STATE EmergencyLoggingTest.ttcn:42 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:42 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:42 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:42 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:42 Local verdict of MTC: pass
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:42 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:42 Test case tc_user finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_PTC_create_EL in module EmergencyLoggingTest.
TESTCASE_START EmergencyLoggingTest.ttcn:57 Test case tc_PTC_create_EL started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:57 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:57 Port external_port was started.
PARALLEL_UNQUALIFIED EmergencyLoggingTest.ttcn:59 Creating new PTC with component type Titan_LogTestDefinitions.MTCType.
PARALLEL_UNQUALIFIED EmergencyLoggingTest.ttcn:60 Creating new PTC with component type Titan_LogTestDefinitions.MTCType.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:62 Last line before the DTE
ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:63 Dynamic test case error: Assignment of an unbound integer value.
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:63 setverdict(error): none -> error
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:63 Performing error recovery.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:63 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:63 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:63 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:63 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:63 Local verdict of MTC: error
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:63 Local verdict of PTC with component reference 9: none (error -> error)
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:63 Local verdict of PTC with component reference 10: none (error -> error)
TESTCASE_FINISH EmergencyLoggingTest.ttcn:63 Test case tc_PTC_create_EL finished. Verdict: error
EXECUTOR_RUNTIME - Executing test case tc_user_EL in module EmergencyLoggingTest.
TESTCASE_START EmergencyLoggingTest.ttcn:17 Test case tc_user_EL started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:17 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:17 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:21 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:22 Action: >>>>ACTION in tc_user_EL, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:26 Action: >>>>ACTION in tc_user_EL, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:27 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:28 This line is reached last
ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:29 Dynamic test case error: Assignment of an unbound integer value.
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:29 setverdict(error): pass -> error
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:29 Performing error recovery.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:29 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:29 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:29 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 Local verdict of MTC: error
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:29 Test case tc_user_EL finished. Verdict: error
EXECUTOR_RUNTIME - Executing test case tc_user_EL in module EmergencyLoggingTest.
TESTCASE_START EmergencyLoggingTest.ttcn:17 Test case tc_user_EL started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:17 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:17 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:21 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:22 Action: >>>>ACTION in tc_user_EL, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:26 Action: >>>>ACTION in tc_user_EL, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:27 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:28 This line is reached last
ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:29 Dynamic test case error: Assignment of an unbound integer value.
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:29 setverdict(error): pass -> error
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:29 Performing error recovery.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:29 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:29 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:29 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 Local verdict of MTC: error
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:29 Test case tc_user_EL finished. Verdict: error
EXECUTOR_RUNTIME - Executing test case tc_user_EL in module EmergencyLoggingTest.
TESTCASE_START EmergencyLoggingTest.ttcn:17 Test case tc_user_EL started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:17 Port internal_port was started.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:17 Port external_port was started.
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:21 Before the loop
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:22 Action: >>>>ACTION in tc_user_EL, before the loop<<<<<
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 0
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 1
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 2
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 3
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 4
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 5
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 6
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 7
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 8
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 9
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 10
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 11
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 12
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 13
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 14
ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:26 Action: >>>>ACTION in tc_user_EL, after the loop<<<<<
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:27 setverdict(pass): none -> pass
USER_UNQUALIFIED EmergencyLoggingTest.ttcn:28 This line is reached last
ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:29 Dynamic test case error: Assignment of an unbound integer value.
VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:29 setverdict(error): pass -> error
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:29 Performing error recovery.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:29 Port internal_port was stopped.
PORTEVENT_STATE EmergencyLoggingTest.ttcn:29 Port external_port was stopped.
EXECUTOR_RUNTIME EmergencyLoggingTest.ttcn:29 Waiting for PTCs to finish.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 Setting final verdict of the test case.
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 Local verdict of MTC: error
VERDICTOP_FINAL EmergencyLoggingTest.ttcn:29 No PTCs were created.
TESTCASE_FINISH EmergencyLoggingTest.ttcn:29 Test case tc_user_EL finished. Verdict: error
PARALLEL_UNQUALIFIED - Executing control part of module Titan_LogTest.
STATISTICS_UNQUALIFIED Titan_LogTest.ttcn:301 Execution of control part in module Titan_LogTest started.
TESTCASE_START Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:54 Test case tc_action started.
PORTEVENT_STATE Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:54 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:54 Port external_port was started.
ACTION_UNQUALIFIED Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:55 Action: This is an action
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:303->Titan_LogTest.ttcn:56 Test case tc_action finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:60 Test case tc_default started.
PORTEVENT_STATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:60 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:60 Port external_port was started.
DEFAULTOP_ACTIVATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:62 Altstep as_1 was activated as default, id 1
TIMEROP_START Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:63 Start timer t: T s
TIMEROP_START Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:65 Start timer t1: T s
TIMEROP_TIMEOUT Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:67->Titan_LogTest.ttcn:44 Timeout t: T s
DEFAULTOP_EXIT Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:67 Default with id 1 (altstep as_1) finished. Skipping current alt statement or receiving operation.
DEFAULTOP_DEACTIVATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:71 Default with id 1 (altstep as_1) was deactivated.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:304->Titan_LogTest.ttcn:72 Test case tc_default finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:78 Test case tc_error1 started.
PORTEVENT_STATE Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:78 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:78 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:80 >>>tc_error1: last line before DTE<<<
ERROR_UNQUALIFIED Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Dynamic test case error: Assignment of an unbound integer value.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 setverdict(error): none -> error
EXECUTOR_RUNTIME Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Performing error recovery.
PORTEVENT_STATE Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Local verdict of MTC: error
VERDICTOP_FINAL Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:305->Titan_LogTest.ttcn:81 Test case tc_error1 finished. Verdict: error
USER_UNQUALIFIED Titan_LogTest.ttcn:306 error
TESTCASE_START Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:88 Test case tc_ex_runtime started.
PORTEVENT_STATE Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:88 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:88 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:89 >>tc_ex_runtime
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:307->Titan_LogTest.ttcn:90 Test case tc_ex_runtime finished. Verdict: none
TESTCASE_START Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:126 Test case tc_function_rnd started.
PORTEVENT_STATE Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:126 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:126 Port external_port was started.
FUNCTION_RND Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:127 Function rnd() returned R.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:308->Titan_LogTest.ttcn:131 Test case tc_function_rnd finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:143 Test case tc_parallel_portconn started.
PORTEVENT_STATE Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:143 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:143 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:144 Creating new PTC with component type Titan_LogTestDefinitions.MTCType2.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:145 Creating new PTC with component type Titan_LogTestDefinitions.MTCType2.
USER_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:146 Creates finished
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:147 Connecting ports 11:internal_port and 12:internal_port.
PARALLEL_PORTCONN Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:147 Connect operation on 11:internal_port and 12:internal_port finished.
USER_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:149 Connect finished
USER_UNQUALIFIED Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:154 tc_parallel_portconn done finished
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Local verdict of PTC with component reference 11: pass (pass -> pass)
VERDICTOP_FINAL Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Local verdict of PTC with component reference 12: pass (pass -> pass)
TESTCASE_FINISH Titan_LogTest.ttcn:309->Titan_LogTest.ttcn:155 Test case tc_parallel_portconn finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:159 Test case tc_parallel_portmap started.
PORTEVENT_STATE Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:159 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:159 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:160 Creating new PTC with component type Titan_LogTestDefinitions.MTCTypeExternal.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:161 Mapping port 13:external_port to system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:161 Map operation of 13:external_port to system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:167 Unmapping port 13:external_port from system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:167 Unmap operation of 13:external_port from system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:168 Stopping PTC with component reference 13.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Local verdict of PTC with component reference 13: none (none -> none)
TESTCASE_FINISH Titan_LogTest.ttcn:310->Titan_LogTest.ttcn:169 Test case tc_parallel_portmap finished. Verdict: none
TESTCASE_START Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:189 Test case tc_portevent started.
PORTEVENT_STATE Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:189 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:192 Creating new PTC with component type Titan_LogTestDefinitions.MTCTypeExternal.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:193 Mapping port 14:external_port to system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:193 Map operation of 14:external_port to system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:197 Unmapping port 14:external_port from system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:197 Unmap operation of 14:external_port from system:external_port finished.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Local verdict of PTC with component reference 14: none (none -> none)
TESTCASE_FINISH Titan_LogTest.ttcn:311->Titan_LogTest.ttcn:198 Test case tc_portevent finished. Verdict: none
TESTCASE_START Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:214 Test case tc_timer started.
PORTEVENT_STATE Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:214 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:214 Port external_port was started.
TIMEROP_START Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:215 Start timer t: T s
TIMEROP_TIMEOUT Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:217 Timeout t: T s
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:217 setverdict(pass): none -> pass
TIMEROP_START Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:220 Start timer t1: T s
TIMEROP_READ Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:221 Read timer t1: T s
USER_UNQUALIFIED Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:222 Mytime: T s
USER_UNQUALIFIED Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:224 true
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:225 setverdict(pass): pass -> pass, component reason not changed
TIMEROP_STOP Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:226 Stop timer t1: T s
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:228 setverdict(pass): pass -> pass, component reason not changed
TIMEROP_START Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Start timer t1: T s
PORTEVENT_STATE Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:312->Titan_LogTest.ttcn:229 Test case tc_timer finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:234 Test case tc_UserLog started.
PORTEVENT_STATE Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:234 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:234 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:235 This is a UserLog
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:313->Titan_LogTest.ttcn:236 Test case tc_UserLog finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:257 Test case tc_matching started.
PORTEVENT_STATE Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:257 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:257 Port external_port was started.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:260 setverdict(pass): none -> pass
USER_UNQUALIFIED Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261  matched
PORTEVENT_STATE Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:314->Titan_LogTest.ttcn:261 Test case tc_matching finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:268 Test case tc_verdict started.
PORTEVENT_STATE Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:268 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:268 Port external_port was started.
VERDICTOP_GETVERDICT Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:269 getverdict: none
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:315->Titan_LogTest.ttcn:270 Test case tc_verdict finished. Verdict: pass
TESTCASE_START Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:294 Test case tc_encdec started.
PORTEVENT_STATE Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:294 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:294 Port external_port was started.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:316->Titan_LogTest.ttcn:298 Test case tc_encdec finished. Verdict: pass
STATISTICS_UNQUALIFIED Titan_LogTest.ttcn:316 Execution of control part in module Titan_LogTest finished.
EXECUTOR_RUNTIME - Executing test case tc_action in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:54 Test case tc_action started.
PORTEVENT_STATE Titan_LogTest.ttcn:54 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:54 Port external_port was started.
ACTION_UNQUALIFIED Titan_LogTest.ttcn:55 Action: This is an action
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:56 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:56 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:56 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:56 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:56 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:56 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:56 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:56 Test case tc_action finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_default in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:60 Test case tc_default started.
PORTEVENT_STATE Titan_LogTest.ttcn:60 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:60 Port external_port was started.
DEFAULTOP_ACTIVATE Titan_LogTest.ttcn:62 Altstep as_1 was activated as default, id 1
TIMEROP_START Titan_LogTest.ttcn:63 Start timer t: T s
TIMEROP_START Titan_LogTest.ttcn:65 Start timer t1: T s
TIMEROP_TIMEOUT Titan_LogTest.ttcn:67->Titan_LogTest.ttcn:44 Timeout t: T s
DEFAULTOP_EXIT Titan_LogTest.ttcn:67 Default with id 1 (altstep as_1) finished. Skipping current alt statement or receiving operation.
DEFAULTOP_DEACTIVATE Titan_LogTest.ttcn:71 Default with id 1 (altstep as_1) was deactivated.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:72 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:72 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:72 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:72 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:72 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:72 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:72 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:72 Test case tc_default finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_error1 in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:78 Test case tc_error1 started.
PORTEVENT_STATE Titan_LogTest.ttcn:78 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:78 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:80 >>>tc_error1: last line before DTE<<<
ERROR_UNQUALIFIED Titan_LogTest.ttcn:81 Dynamic test case error: Assignment of an unbound integer value.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:81 setverdict(error): none -> error
EXECUTOR_RUNTIME Titan_LogTest.ttcn:81 Performing error recovery.
PORTEVENT_STATE Titan_LogTest.ttcn:81 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:81 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:81 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:81 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:81 Local verdict of MTC: error
VERDICTOP_FINAL Titan_LogTest.ttcn:81 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:81 Test case tc_error1 finished. Verdict: error
EXECUTOR_RUNTIME - Executing test case tc_ex_runtime in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:88 Test case tc_ex_runtime started.
PORTEVENT_STATE Titan_LogTest.ttcn:88 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:88 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:89 >>tc_ex_runtime
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:90 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:90 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:90 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:90 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:90 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:90 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:90 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:90 Test case tc_ex_runtime finished. Verdict: none
EXECUTOR_RUNTIME - Executing test case tc_function_rnd in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:126 Test case tc_function_rnd started.
PORTEVENT_STATE Titan_LogTest.ttcn:126 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:126 Port external_port was started.
FUNCTION_RND Titan_LogTest.ttcn:127 Function rnd() returned R.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:131 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:131 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:131 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:131 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:131 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:131 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:131 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:131 Test case tc_function_rnd finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_not_existing_testcase in module Titan_LogTest.
ERROR_UNQUALIFIED - Dynamic test case error: Test case tc_not_existing_testcase does not exist in module Titan_LogTest.
EXECUTOR_RUNTIME - Performing error recovery.
EXECUTOR_RUNTIME - Executing test case tc_parallel_portconn in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:143 Test case tc_parallel_portconn started.
PORTEVENT_STATE Titan_LogTest.ttcn:143 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:143 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:144 Creating new PTC with component type Titan_LogTestDefinitions.MTCType2.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:145 Creating new PTC with component type Titan_LogTestDefinitions.MTCType2.
USER_UNQUALIFIED Titan_LogTest.ttcn:146 Creates finished
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:147 Connecting ports 15:internal_port and 16:internal_port.
PARALLEL_PORTCONN Titan_LogTest.ttcn:147 Connect operation on 15:internal_port and 16:internal_port finished.
USER_UNQUALIFIED Titan_LogTest.ttcn:149 Connect finished
USER_UNQUALIFIED Titan_LogTest.ttcn:154 tc_parallel_portconn done finished
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:155 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:155 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:155 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:155 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:155 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:155 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:155 Local verdict of PTC with component reference 15: pass (pass -> pass)
VERDICTOP_FINAL Titan_LogTest.ttcn:155 Local verdict of PTC with component reference 16: pass (pass -> pass)
TESTCASE_FINISH Titan_LogTest.ttcn:155 Test case tc_parallel_portconn finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_parallel_portmap in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:159 Test case tc_parallel_portmap started.
PORTEVENT_STATE Titan_LogTest.ttcn:159 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:159 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:160 Creating new PTC with component type Titan_LogTestDefinitions.MTCTypeExternal.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:161 Mapping port 17:external_port to system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:161 Map operation of 17:external_port to system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:167 Unmapping port 17:external_port from system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:167 Unmap operation of 17:external_port from system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:168 Stopping PTC with component reference 17.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:169 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:169 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:169 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:169 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:169 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:169 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:169 Local verdict of PTC with component reference 17: none (none -> none)
TESTCASE_FINISH Titan_LogTest.ttcn:169 Test case tc_parallel_portmap finished. Verdict: none
EXECUTOR_RUNTIME - Executing test case tc_portevent in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:189 Test case tc_portevent started.
PORTEVENT_STATE Titan_LogTest.ttcn:189 Port external_port was started.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:192 Creating new PTC with component type Titan_LogTestDefinitions.MTCTypeExternal.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:193 Mapping port 18:external_port to system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:193 Map operation of 18:external_port to system:external_port finished.
PARALLEL_UNQUALIFIED Titan_LogTest.ttcn:197 Unmapping port 18:external_port from system:external_port.
PARALLEL_PORTMAP Titan_LogTest.ttcn:197 Unmap operation of 18:external_port from system:external_port finished.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:198 setverdict(none): none -> none, component reason not changed
PORTEVENT_STATE Titan_LogTest.ttcn:198 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:198 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:198 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:198 Local verdict of MTC: none
VERDICTOP_FINAL Titan_LogTest.ttcn:198 Local verdict of PTC with component reference 18: none (none -> none)
TESTCASE_FINISH Titan_LogTest.ttcn:198 Test case tc_portevent finished. Verdict: none
EXECUTOR_RUNTIME - Executing test case tc_timer in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:214 Test case tc_timer started.
PORTEVENT_STATE Titan_LogTest.ttcn:214 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:214 Port external_port was started.
TIMEROP_START Titan_LogTest.ttcn:215 Start timer t: T s
TIMEROP_TIMEOUT Titan_LogTest.ttcn:217 Timeout t: T s
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:217 setverdict(pass): none -> pass
TIMEROP_START Titan_LogTest.ttcn:220 Start timer t1: T s
TIMEROP_READ Titan_LogTest.ttcn:221 Read timer t1: T s
USER_UNQUALIFIED Titan_LogTest.ttcn:222 Mytime: T s
USER_UNQUALIFIED Titan_LogTest.ttcn:224 true
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:225 setverdict(pass): pass -> pass, component reason not changed
TIMEROP_STOP Titan_LogTest.ttcn:226 Stop timer t1: T s
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:228 setverdict(pass): pass -> pass, component reason not changed
TIMEROP_START Titan_LogTest.ttcn:229 Start timer t1: T s
PORTEVENT_STATE Titan_LogTest.ttcn:229 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:229 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:229 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:229 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:229 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:229 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:229 Test case tc_timer finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_UserLog in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:234 Test case tc_UserLog started.
PORTEVENT_STATE Titan_LogTest.ttcn:234 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:234 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:235 This is a UserLog
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:236 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:236 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:236 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:236 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:236 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:236 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:236 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:236 Test case tc_UserLog finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_verdict in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:268 Test case tc_verdict started.
PORTEVENT_STATE Titan_LogTest.ttcn:268 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:268 Port external_port was started.
VERDICTOP_GETVERDICT Titan_LogTest.ttcn:269 getverdict: none
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:270 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:270 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:270 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:270 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:270 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:270 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:270 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:270 Test case tc_verdict finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_matching in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:257 Test case tc_matching started.
PORTEVENT_STATE Titan_LogTest.ttcn:257 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:257 Port external_port was started.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:260 setverdict(pass): none -> pass
USER_UNQUALIFIED Titan_LogTest.ttcn:261  matched
PORTEVENT_STATE Titan_LogTest.ttcn:261 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:261 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:261 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:261 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:261 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:261 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:261 Test case tc_matching finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_encdec in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:294 Test case tc_encdec started.
PORTEVENT_STATE Titan_LogTest.ttcn:294 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:294 Port external_port was started.
VERDICTOP_SETVERDICT Titan_LogTest.ttcn:298 setverdict(pass): none -> pass
PORTEVENT_STATE Titan_LogTest.ttcn:298 Port internal_port was stopped.
PORTEVENT_STATE Titan_LogTest.ttcn:298 Port external_port was stopped.
EXECUTOR_RUNTIME Titan_LogTest.ttcn:298 Waiting for PTCs to finish.
VERDICTOP_FINAL Titan_LogTest.ttcn:298 Setting final verdict of the test case.
VERDICTOP_FINAL Titan_LogTest.ttcn:298 Local verdict of MTC: pass
VERDICTOP_FINAL Titan_LogTest.ttcn:298 No PTCs were created.
TESTCASE_FINISH Titan_LogTest.ttcn:298 Test case tc_encdec finished. Verdict: pass
EXECUTOR_RUNTIME - Executing test case tc_error1 in module Titan_LogTest.
TESTCASE_START Titan_LogTest.ttcn:78 Test case tc_error1 started.
PORTEVENT_STATE Titan_LogTest.ttcn:78 Port internal_port was started.
PORTEVENT_STATE Titan_LogTest.ttcn:78 Port external_port was started.
USER_UNQUALIFIED Titan_LogTest.ttcn:80 >>>tc_error1: last line before DTE<<<
ERROR_UNQUALIFIED Titan_LogTest.ttcn:81 Dynamic test case error: Assignment of an unbound integer value.
TESTCASE_FINISH Titan_LogTest.ttcn:81 Test case tc_error1 finished. Verdict: error
