1 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 7
2 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:24 tc_user_EL loop 8
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 VERDICTOP_SETVERDICT EmergencyLoggingTest.ttcn:27 setverdict(pass): none -> pass
15 USER_UNQUALIFIED EmergencyLoggingTest.ttcn:28 This line is reached last