1 /******************************************************************************
2 * Copyright (c) 2000-2016 Ericsson Telecom AB
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
9 * Adrien Kirjak – initial implementation
12 ** @purpose 1:19.8, Ensure that the IUT correctly handles goto statements.
13 ** @verdict pass accept, ttcn3verdict:pass
14 *****************************************************************/
15 module Sem_1908_goto_statement_003 {
17 type component GeneralComp {
20 testcase TC_Sem_1908_goto_statement_003 () runs on GeneralComp{
23 for(v_i:=1; v_i<10; v_i:= v_i+1) {
24 if(v_i==5) { goto L1; } //jumping out of the loop
29 if( v_i==5 ) { setverdict(pass); }
30 else { setverdict(fail); }
36 execute(TC_Sem_1908_goto_statement_003());