-TESTCASE_START EmergencyLoggingTest.ttcn:27 Test case tc_user started.
-TESTCASE_FINISH EmergencyLoggingTest.ttcn:35 Test case tc_user finished. Verdict: pass
-TESTCASE_START EmergencyLoggingTest.ttcn:50 Test case tc_PTC_create_EL started.
-PORTEVENT_STATE EmergencyLoggingTest.ttcn:50 Port internal_port was started.
-PORTEVENT_STATE EmergencyLoggingTest.ttcn:50 Port external_port was started.
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:55 Last line before the DTE
-ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:56 Dynamic test case error: Assignment of an unbound integer value.
-TESTCASE_FINISH EmergencyLoggingTest.ttcn:56 Test case tc_PTC_create_EL finished. Verdict: error
-TESTCASE_START EmergencyLoggingTest.ttcn:10 Test case tc_user_EL started.
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 4
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 5
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 6
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 7
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 8
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 9
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 10
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 11
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 12
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 13
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 14
-ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:19 Action: >>>>ACTION in tc_user_EL, after the loop<<<<<
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:21 This line is reached last
-ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:22 Dynamic test case error: Assignment of an unbound integer value.
-TESTCASE_FINISH EmergencyLoggingTest.ttcn:22 Test case tc_user_EL finished. Verdict: error
-TESTCASE_START EmergencyLoggingTest.ttcn:10 Test case tc_user_EL started.
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 4
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 5
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 6
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 7
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 8
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 9
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 10
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 11
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 12
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 13
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 14
-ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:19 Action: >>>>ACTION in tc_user_EL, after the loop<<<<<
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:21 This line is reached last
-ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:22 Dynamic test case error: Assignment of an unbound integer value.
-TESTCASE_FINISH EmergencyLoggingTest.ttcn:22 Test case tc_user_EL finished. Verdict: error
-TESTCASE_START EmergencyLoggingTest.ttcn:10 Test case tc_user_EL started.
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 4
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 5
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 6
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 7
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 8
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 9
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 10
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 11
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 12
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 13
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:17 tc_user_EL loop 14
-ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:19 Action: >>>>ACTION in tc_user_EL, after the loop<<<<<
-USER_UNQUALIFIED EmergencyLoggingTest.ttcn:21 This line is reached last
-ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:22 Dynamic test case error: Assignment of an unbound integer value.
-TESTCASE_FINISH EmergencyLoggingTest.ttcn:22 Test case tc_user_EL finished. Verdict: error
+TESTCASE_START EmergencyLoggingTest.ttcn:34 Test case tc_user started.
+TESTCASE_FINISH EmergencyLoggingTest.ttcn:42 Test case tc_user finished. Verdict: pass
+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.
+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.
+TESTCASE_FINISH EmergencyLoggingTest.ttcn:63 Test case tc_PTC_create_EL finished. Verdict: error
+TESTCASE_START EmergencyLoggingTest.ttcn:17 Test case tc_user_EL started.
+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<<<<<
+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.
+TESTCASE_FINISH EmergencyLoggingTest.ttcn:29 Test case tc_user_EL finished. Verdict: error
+TESTCASE_START EmergencyLoggingTest.ttcn:17 Test case tc_user_EL started.
+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<<<<<
+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.
+TESTCASE_FINISH EmergencyLoggingTest.ttcn:29 Test case tc_user_EL finished. Verdict: error
+TESTCASE_START EmergencyLoggingTest.ttcn:17 Test case tc_user_EL started.
+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<<<<<
+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.
+TESTCASE_FINISH EmergencyLoggingTest.ttcn:29 Test case tc_user_EL finished. Verdict: error