Loading ttcn/AtsNAT64/AtsNat64_TestCases.ttcn3 +18 −18 Original line number Diff line number Diff line Loading @@ -129,7 +129,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_BF_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum * 2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -285,7 +285,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_BF_BV_002_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -459,7 +459,7 @@ module AtsNat64_TestCases { } // End of 'for' statement } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum * 2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -626,7 +626,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_AW_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -786,7 +786,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_AW_BV_002_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -946,7 +946,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_AW_BV_003_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1131,7 +1131,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_SPR_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum * 2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1286,7 +1286,7 @@ module AtsNat64_TestCases { vc_lsnComponents[v_hostNum].start(f_TC_NAT64_LSN_NT_BV_001_lsn(v_ipv4Packet)); vc_hostComponents[v_hostNum].start(f_TC_NAT64_LSN_NT_BV_001_host(v_ipv6Packet, v_ipv6Packet2)); f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1466,7 +1466,7 @@ module AtsNat64_TestCases { ) ); f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1648,7 +1648,7 @@ module AtsNat64_TestCases { ) ); f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1805,7 +1805,7 @@ module AtsNat64_TestCases { ) ); f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1962,7 +1962,7 @@ module AtsNat64_TestCases { ) ); f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2122,7 +2122,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_ALG_BV_005_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2304,7 +2304,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_AA_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, "NPUremoval", c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, "NPUremoval", c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2460,7 +2460,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_RED_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, "NPUremoval", c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, "NPUremoval", c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2635,7 +2635,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_LB_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2805,7 +2805,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_FE_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2968,7 +2968,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_FE_BV_002_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading
ttcn/AtsNAT64/AtsNat64_TestCases.ttcn3 +18 −18 Original line number Diff line number Diff line Loading @@ -129,7 +129,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_BF_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum * 2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -285,7 +285,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_BF_BV_002_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -459,7 +459,7 @@ module AtsNat64_TestCases { } // End of 'for' statement } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum * 2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -626,7 +626,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_AW_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -786,7 +786,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_AW_BV_002_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -946,7 +946,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_AW_BV_003_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1131,7 +1131,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_SPR_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum * 2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1286,7 +1286,7 @@ module AtsNat64_TestCases { vc_lsnComponents[v_hostNum].start(f_TC_NAT64_LSN_NT_BV_001_lsn(v_ipv4Packet)); vc_hostComponents[v_hostNum].start(f_TC_NAT64_LSN_NT_BV_001_host(v_ipv6Packet, v_ipv6Packet2)); f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1466,7 +1466,7 @@ module AtsNat64_TestCases { ) ); f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1648,7 +1648,7 @@ module AtsNat64_TestCases { ) ); f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1805,7 +1805,7 @@ module AtsNat64_TestCases { ) ); f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -1962,7 +1962,7 @@ module AtsNat64_TestCases { ) ); f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2122,7 +2122,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_ALG_BV_005_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2304,7 +2304,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_AA_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, "NPUremoval", c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, "NPUremoval", c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2460,7 +2460,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_RED_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, "NPUremoval", c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, "NPUremoval", c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2635,7 +2635,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_LB_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2805,7 +2805,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_FE_BV_001_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading Loading @@ -2968,7 +2968,7 @@ module AtsNat64_TestCases { vc_hostComponents[v_host].start(f_TC_NAT64_LSN_FE_BV_002_host(v_ipv6Packet)); } // End of 'for' statement f_serverSyncNClientsAndStop(v_hostNum, { c_prDone, c_tbDone, c_poDone }); f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone }); // Postamble f_down(); Loading