| 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 |