1 TESTCASE_START EmergencyLoggingTest.ttcn:17 Test case tc_user_EL started.
2 ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:22 Action: >>>>ACTION in tc_user_EL, before the loop<<<<<
3 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 9
4 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 10
5 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 11
6 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 12
7 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 13
8 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 14
9 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 15
10 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 16
11 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 17
12 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 18
13 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 19
14 ACTION_UNQUALIFIED EmergencyLoggingTest.ttcn:26 Action: >>>>ACTION in tc_user_EL, after the loop<<<<<
15 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:28 This line is reached last
16 ERROR_UNQUALIFIED EmergencyLoggingTest.ttcn:29 Dynamic test case error: Assignment of an unbound integer value.
17 TESTCASE_FINISH EmergencyLoggingTest.ttcn:29 Test case tc_user_EL finished. Verdict: error