Commit 27b93bf3 authored by garciay's avatar garciay
Browse files

Add missing synchronisation points 

Update client number in f_serverSyncNClientsAndStop function call
parent bf3d575e

ttcn/AtsDSlite/AtsDSLite_TestCases.ttcn3

+6 −4
Original line number Diff line number Diff line
@@ -524,8 +524,7 @@ module AtsDSLite_TestCases { 
                 *              containing source address

                 *                  indicating a private IPv4 address 

                 *              containing destination address

                 *                  indicating a public IPv4 address

                 *              from multiple hosts

                 *                  indicating a public IPv4 address from multiple hosts

                 *      }

                 *      then {

                 *          the IUT encapsulates each HTML IPv4 packet unchanged into IPv6 packet
@@ -674,6 +673,7 @@ module AtsDSLite_TestCases { 
                                } // End of 'for' statement 

                                if (lengthof(v_results) == v_hostNum) { // Check current result 

                                    log("*** " & __SCOPE__ & ": PASS: All encapsulated IPv4 packets were forwarded. ***");

                                    f_selfOrClientSyncAndVerdict(c_tbDone, e_success);

                                } else {

                                    tc_ac.start;

                                    repeat;
@@ -768,7 +768,7 @@ module AtsDSLite_TestCases { 
                    

                    // Clause 'then': Nothing to do, refer to a_default

                    

                    f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone });

                    f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone });

                    

                    // Postamble

                    f_down();
@@ -875,7 +875,7 @@ module AtsDSLite_TestCases { 
                    

                    // Clause 'then': Nothing to do, refer to a_default

                    

                    f_serverSyncNClientsAndStop(1, { c_prDone, c_tbDone, c_poDone });

                    f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone });

                    

                    // Postamble

                    f_down();
@@ -1124,6 +1124,7 @@ module AtsDSLite_TestCases { 
                                } // End of 'for' statement 

                                if (lengthof(v_results) == v_hostNum) { // Check current result

                                    log("*** " & __SCOPE__ & ": PASS: All IPv6 packets were forwarded. ***");

                                    f_selfOrClientSyncAndVerdict(c_tbDone, e_success);

                                } else {

                                    tc_ac.start;

                                    repeat;
@@ -1320,6 +1321,7 @@ module AtsDSLite_TestCases { 
                                } // End of 'for' statement 

                                if (lengthof(v_results) == v_hostNum) { // Check current result

                                    log("*** " & __SCOPE__ & ": PASS: All IPv6 packets were forwarded. ***");

                                    f_selfOrClientSyncAndVerdict(c_tbDone, e_success);

                                } else {

                                    tc_ac.start;

                                    repeat;