Commit 966d153d authored by berge's avatar berge
Browse files

Added missing '}' in testcontrol files

parent a2deafca

ttcn3/EtsiAts/AtsIpv6/AtsMobility/AtsIpv6_Mobility_TestControl.ttcn

+145 −145
Original line number Original line Diff line number Diff line
@@ -18,151 +18,151 @@ 




	control {

	control {

	

	

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1048_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1048_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1050_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1050_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1052_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1052_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1063_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1063_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1075_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1075_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1075_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1075_02() );}

		if ( PX_CONFIGURATION_ID == e_cf01 ) { execute ( TC_MOB_1208_01() )};

		if ( PX_CONFIGURATION_ID == e_cf01 ) { execute ( TC_MOB_1208_01() );}

		if ( PX_CONFIGURATION_ID == e_cf01 ) { execute ( TC_MOB_1209_01() )};

		if ( PX_CONFIGURATION_ID == e_cf01 ) { execute ( TC_MOB_1209_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1293_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1293_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1310_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1310_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1310_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1310_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1328_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1328_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1328_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1328_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1399_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1399_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1399_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1399_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1399_03() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1399_03() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1399_04() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1399_04() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1399_05() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1399_05() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1399_06() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1399_06() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1401_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1401_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1401_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1401_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1401_03() )};				

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1401_03() );}				

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1404_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1404_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1404_03() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1404_03() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1404_04() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1404_04() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1404_05() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1404_05() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1404_06() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1404_06() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1408_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1408_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1408_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1408_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1408_03() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1408_03() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1408_04() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1408_04() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1408_05() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1408_05() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1408_06() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1408_06() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1411_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1411_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1413_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1413_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1414_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1414_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1415_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1415_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1426_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1426_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1426_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1426_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1426_03() )};				

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1426_03() );}				

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1430_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1430_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1431_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1431_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1432_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1432_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1432_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1432_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1433_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1433_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1433_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1433_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1436_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1436_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1437_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1437_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1439_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1439_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1440_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1440_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1441_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1441_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1442_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1442_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1443_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1443_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1445_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1445_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1446_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1446_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1447_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1447_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1465_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1465_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1465_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1465_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1470_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1470_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1481_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1481_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1432_03() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1432_03() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1441_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1441_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1442_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1442_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1493_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1493_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1496_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob03 ) { execute ( TC_MOB_1496_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1496_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1496_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1502_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1502_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1510_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1510_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1510_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1510_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1512_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1512_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1513_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1513_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1518_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1518_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1526_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1526_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1529_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1529_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1537_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1537_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1538_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1538_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1547_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1547_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1551_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1551_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1552_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1552_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1555_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1555_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1557_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1557_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1568_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1568_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1576_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1576_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1582_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1582_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1588_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1588_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1591_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1591_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1594_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1594_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1595_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1595_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1601_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1601_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1601_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1601_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1601_03() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1601_03() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1602_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1602_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1615_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1615_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1820_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1820_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1619_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1619_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1625_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1625_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1633_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1633_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1633_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1633_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1633_03() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1633_03() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1633_04() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1633_04() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1648_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1648_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1655_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1655_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1669_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1669_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1670_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1670_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1671_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1671_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1672_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1672_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1690_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1690_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1695_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1695_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1698_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_1698_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1702_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1702_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1704_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1704_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1716_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1716_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1716_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1716_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1716_03() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1716_03() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1716_04() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1716_04() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1720_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1720_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1720_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1720_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1720_03() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1720_03() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1730_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1730_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1739_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1739_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1742_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1742_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1765_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1765_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1765_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1765_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1769_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1769_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1769_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1769_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1776_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_1776_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3018_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3018_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3022_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3022_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3024_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3024_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3025_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3025_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3025_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3025_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3030_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3030_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3030_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3030_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3031_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3031_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3031_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3031_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3035_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3035_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3035_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3035_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3036_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3036_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3036_02() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3036_02() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3037_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3037_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3039_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3039_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3043_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob01 ) { execute ( TC_MOB_3043_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3046_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3046_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3048_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3048_01() );}

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3223_01() )};

		if ( PX_CONFIGURATION_ID == e_cfMob02 ) { execute ( TC_MOB_3223_01() );}

 	}

 	}





} // end module AtsIpv6_Mobility_TestControl

} // end module AtsIpv6_Mobility_TestControl

ttcn3/EtsiAts/AtsIpv6/AtsSecurity/AtsIpv6_Security_TestControl.ttcn

+89 −89

File changed.

Preview size limit exceeded, changes collapsed.