Commit ea1f0f5e authored by tepelmann's avatar tepelmann
Browse files

Renaming.

parent 24124b6c
Loading
Loading
Loading
Loading
+60 −60
Original line number Diff line number Diff line
@@ -296,7 +296,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6.6.2 PLAT Timers
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/NT/VB/01
                 */
                testcase TC_464XLAT_PLAT_LSN_NT_BV_001() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_NT_BV_001() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var UInt v_hostNum := 0;
@@ -334,23 +334,23 @@ module Ats464XLat_TestCases {
                    v_ipv6Packet2 := v_ipv6Packet;
                    v_ipv6Packet2.ipv6Hdr.sourceAddress := PX_464XLAT_MAPPING_TABLE_1_TO_N.portInfos[v_hostNum+1].ip6Address;
                    
                    vc_lsnComponents[v_hostNum].start(f_TC_464XLAT_PLAT_LSN_NT_BV_001_lsn(v_ipv4Packet));
                    vc_hostComponents[v_hostNum].start(f_TC_464XLAT_PLAT_LSN_NT_BV_001_host(v_ipv6Packet, v_ipv6Packet2));
                    vc_lsnComponents[v_hostNum].start(f_TC_464XLAT_PLATLSN_NT_BV_001_lsn(v_ipv4Packet));
                    vc_hostComponents[v_hostNum].start(f_TC_464XLAT_PLATLSN_NT_BV_001_host(v_ipv6Packet, v_ipv6Packet2));
                    
                    f_serverSyncNClientsAndStop(2, { c_prDone, c_tbDone, c_poDone });
                    
                    // Postamble
                    f_down();
                    
                } // End of testcase TC_464XLAT_PLAT_LSN_NT_BV_001
                } // End of testcase TC_464XLAT_PLATLSN_NT_BV_001
                
                group f_TC_464XLAT_PLAT_LSN_NT_BV_001 {
                group f_TC_464XLAT_PLATLSN_NT_BV_001 {
                    
                    /**
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_NT_BV_001_lsn(Ipv4Packet p_ipv4Packet) runs on LSNComponent {
                    function f_TC_464XLAT_PLATLSN_NT_BV_001_lsn(Ipv4Packet p_ipv4Packet) runs on LSNComponent {
                        
                        // Local variables
                        var FncRetCode v_result;
@@ -405,13 +405,13 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_NT_BV_001_lsn
                    } // End of function f_TC_464XLAT_PLATLSN_NT_BV_001_lsn
                    
                    /**
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_NT_BV_001_host(Ipv6Packet p_ipv6Packet, Ipv6Packet p_ipv6Packet2) runs on HostComponent {
                    function f_TC_464XLAT_PLATLSN_NT_BV_001_host(Ipv6Packet p_ipv6Packet, Ipv6Packet p_ipv6Packet2) runs on HostComponent {
                        
                        // Local variables
                        timer t_tcpTimeWait := f_getTcpTimeWait();
@@ -433,9 +433,9 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_NT_BV_001_host
                    } // End of function f_TC_464XLAT_PLATLSN_NT_BV_001_host
                    
                } // End of group f_TC_464XLAT_PLAT_LSN_NT_BV_001 
                } // End of group f_TC_464XLAT_PLATLSN_NT_BV_001 
                
            } // End of group validBehaviour
            
@@ -482,7 +482,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/ALG/VB/01
                 */
                testcase TC_464XLAT_PLAT_LSN_ALG_BV_001() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_ALG_BV_001() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var Ipv4Packet v_ipv4Packet;                                /** IPv4 packets */
@@ -499,9 +499,9 @@ module Ats464XLat_TestCases {
                    
                    // Test Body
                    // Start all components
                    vc_lsnFtpComponents[0].start(f_TC_464XLAT_PLAT_LSN_ALG_BV_001_lsn(v_noOfDataRequests));
                    vc_lsnFtpComponents[0].start(f_TC_464XLAT_PLATLSN_ALG_BV_001_lsn(v_noOfDataRequests));
                    vc_hostFtpComponents[0].start(
                        f_TC_464XLAT_PLAT_LSN_ALG_BV_001_host(
                        f_TC_464XLAT_PLATLSN_ALG_BV_001_host(
                            PX_FTP_CLIENT_IPV6_ADDRESS,
                            PX_464XLAT_PREFIX & c_4ZeroBytes & PX_FTP_SERVER_IPV4_ADDRESS,
                            v_noOfDataRequests
@@ -513,15 +513,15 @@ module Ats464XLat_TestCases {
                    // Postamble
                    f_down();
                    
                } // End of testcase TC_464XLAT_PLAT_LSN_ALG_BV_001
                } // End of testcase TC_464XLAT_PLATLSN_ALG_BV_001
                
                group f_TC_464XLAT_PLAT_LSN_ALG_BV_001 {
                group f_TC_464XLAT_PLATLSN_ALG_BV_001 {
                    
                    /**
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_001_lsn(in UInt p_noOfDataRequests) runs on LSNFTPComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_001_lsn(in UInt p_noOfDataRequests) runs on LSNFTPComponent {
                        
                        // Local variables
                        var FncRetCode v_result;
@@ -598,13 +598,13 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_001_lsn
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_001_lsn
                    
                    /**
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_001_host(Ipv6Address p_srcAddress, Ipv6Address p_dstAddress, in UInt p_noOfDataRequests) runs on HostFTPComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_001_host(Ipv6Address p_srcAddress, Ipv6Address p_dstAddress, in UInt p_noOfDataRequests) runs on HostFTPComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
@@ -624,9 +624,9 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, v_result);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_001_host
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_001_host
                    
                } // End of group f_TC_464XLAT_PLAT_LSN_ALG_BV_001 
                } // End of group f_TC_464XLAT_PLATLSN_ALG_BV_001 
                
                /**
                 * @desc Check that the IUT supports SIP forwarding through an ALG
@@ -664,7 +664,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/ALG/VB/02
                 */
                testcase TC_464XLAT_PLAT_LSN_ALG_BV_002() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_ALG_BV_002() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var Ipv4Packet v_ipv4Packet;                                /** IPv4 packets */
@@ -681,9 +681,9 @@ module Ats464XLat_TestCases {
                    
                    // Test Body
                    // Start all components
                    vc_lsnSipComponents[0].start(f_TC_464XLAT_PLAT_LSN_ALG_BV_002_lsn(v_noOfDataRequests));
                    vc_lsnSipComponents[0].start(f_TC_464XLAT_PLATLSN_ALG_BV_002_lsn(v_noOfDataRequests));
                    vc_hostSipComponents[0].start(
                        f_TC_464XLAT_PLAT_LSN_ALG_BV_002_host(
                        f_TC_464XLAT_PLATLSN_ALG_BV_002_host(
                            PX_FTP_CLIENT_IPV6_ADDRESS,
                            PX_464XLAT_PREFIX & c_4ZeroBytes & PX_SIP_SERVER_IPV4_ADDRESS,
                            v_noOfDataRequests
@@ -695,15 +695,15 @@ module Ats464XLat_TestCases {
                    // Postamble
                    f_down();
                    
                } // End of testcase TC_464XLAT_PLAT_LSN_ALG_BV_002
                } // End of testcase TC_464XLAT_PLATLSN_ALG_BV_002
                
                group f_TC_464XLAT_PLAT_LSN_ALG_BV_002 {
                group f_TC_464XLAT_PLATLSN_ALG_BV_002 {
                    
                    /**
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_002_lsn(in UInt p_noOfDataRequests) runs on LSNSIPComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_002_lsn(in UInt p_noOfDataRequests) runs on LSNSIPComponent {
                        
                        // Local variables
                        var FncRetCode v_result;
@@ -755,13 +755,13 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_002_lsn
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_002_lsn
                    
                    /**
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_002_host(Ipv6Address p_srcAddress, Ipv6Address p_dstAddress, in UInt p_noOfDataRequests) runs on HostSIPComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_002_host(Ipv6Address p_srcAddress, Ipv6Address p_dstAddress, in UInt p_noOfDataRequests) runs on HostSIPComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
@@ -781,9 +781,9 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, v_result);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_002_host
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_002_host
                    
                } // End of group f_TC_464XLAT_PLAT_LSN_ALG_BV_002
                } // End of group f_TC_464XLAT_PLATLSN_ALG_BV_002
                
                /**
                 * @desc Check that the IUT supports RTSP forwarding through an ALG
@@ -821,7 +821,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/ALG/VB/03
                 */
                testcase TC_464XLAT_PLAT_LSN_ALG_BV_003() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_ALG_BV_003() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var Ipv4Packet v_ipv4Packet;                                /** IPv4 packets */
@@ -838,9 +838,9 @@ module Ats464XLat_TestCases {
                    
                    // Test Body
                    // Start all components
                    vc_lsnRtspComponents[0].start(f_TC_464XLAT_PLAT_LSN_ALG_BV_003_lsn(v_noOfDataRequests));
                    vc_lsnRtspComponents[0].start(f_TC_464XLAT_PLATLSN_ALG_BV_003_lsn(v_noOfDataRequests));
                    vc_hostRtspComponents[0].start(
                        f_TC_464XLAT_PLAT_LSN_ALG_BV_003_host(
                        f_TC_464XLAT_PLATLSN_ALG_BV_003_host(
                            PX_RTSP_CLIENT_IPV6_ADDRESS,
                            PX_464XLAT_PREFIX & c_4ZeroBytes & PX_RTSP_SERVER_IPV4_ADDRESS,
                            v_noOfDataRequests
@@ -852,15 +852,15 @@ module Ats464XLat_TestCases {
                    // Postamble
                    f_down();
                    
                } // End of testcase TC_464XLAT_PLAT_LSN_ALG_BV_003
                } // End of testcase TC_464XLAT_PLATLSN_ALG_BV_003
                
                group f_TC_464XLAT_PLAT_LSN_ALG_BV_003 {
                group f_TC_464XLAT_PLATLSN_ALG_BV_003 {
                    
                    /**
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_003_lsn(in UInt p_noOfDataRequests) runs on LSNRTSPComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_003_lsn(in UInt p_noOfDataRequests) runs on LSNRTSPComponent {
                        
                        // Local variables
                        var FncRetCode v_result;
@@ -912,13 +912,13 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_003_lsn
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_003_lsn
                    
                    /**
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_003_host(Ipv6Address p_srcAddress, Ipv6Address p_dstAddress, in UInt p_noOfDataRequests) runs on HostRTSPComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_003_host(Ipv6Address p_srcAddress, Ipv6Address p_dstAddress, in UInt p_noOfDataRequests) runs on HostRTSPComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
@@ -938,9 +938,9 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, v_result);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_003_host
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_003_host
                    
                } // End of group f_TC_464XLAT_PLAT_LSN_ALG_BV_003
                } // End of group f_TC_464XLAT_PLATLSN_ALG_BV_003
                
                /**
                 * @desc Check that the IUT supports PPTP forwarding through an ALG
@@ -978,7 +978,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.6 464XLAT Technology Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/ALG/VB/04
                 */
                testcase TC_464XLAT_PLAT_LSN_ALG_BV_004() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_ALG_BV_004() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var Ipv4Packet v_ipv4Packet;                                /** IPv4 packets */
@@ -995,9 +995,9 @@ module Ats464XLat_TestCases {
                    
                    // Test Body
                    // Start all components
                    vc_lsnPptpComponents[0].start(f_TC_464XLAT_PLAT_LSN_ALG_BV_004_lsn(v_noOfDataRequests));
                    vc_lsnPptpComponents[0].start(f_TC_464XLAT_PLATLSN_ALG_BV_004_lsn(v_noOfDataRequests));
                    vc_hostPptpComponents[0].start(
                        f_TC_464XLAT_PLAT_LSN_ALG_BV_004_host(
                        f_TC_464XLAT_PLATLSN_ALG_BV_004_host(
                            PX_PPTP_CLIENT_IPV6_ADDRESS,
                            PX_464XLAT_PREFIX & c_4ZeroBytes & PX_PPTP_SERVER_IPV4_ADDRESS,
                            v_noOfDataRequests
@@ -1009,15 +1009,15 @@ module Ats464XLat_TestCases {
                    // Postamble
                    f_down();
                    
                } // End of testcase TC_464XLAT_PLAT_LSN_ALG_BV_004
                } // End of testcase TC_464XLAT_PLATLSN_ALG_BV_004
                
                group f_TC_464XLAT_PLAT_LSN_ALG_BV_004 {
                group f_TC_464XLAT_PLATLSN_ALG_BV_004 {
                    
                    /**
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_004_lsn(in UInt p_noOfDataRequests) runs on LSNPPTPComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_004_lsn(in UInt p_noOfDataRequests) runs on LSNPPTPComponent {
                        
                        // Local variables
                        var FncRetCode v_result;
@@ -1069,13 +1069,13 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_004_lsn
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_004_lsn
                    
                    /**
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_004_host(Ipv6Address p_srcAddress, Ipv6Address p_dstAddress, in UInt p_noOfDataRequests) runs on HostPPTPComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_004_host(Ipv6Address p_srcAddress, Ipv6Address p_dstAddress, in UInt p_noOfDataRequests) runs on HostPPTPComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
@@ -1095,9 +1095,9 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, v_result);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_004_host
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_004_host
                    
                } // End of group f_TC_464XLAT_PLAT_LSN_ALG_BV_004
                } // End of group f_TC_464XLAT_PLATLSN_ALG_BV_004
                
                /**
                 * @desc Check that the IUT supports ICMP translation
@@ -1130,7 +1130,7 @@ module Ats464XLat_TestCases {
                 * @reference ETSI TS 101 569-1 Clause 6.4.1 LSN Feature Summary
                 * @see     ETSI TS xxx xxx-x V0.0.1.5a-draft (2013-07) TP/464XLAT/PLAT-LSN/ALG/VB/05
                 */
                testcase TC_464XLAT_PLAT_LSN_ALG_BV_005() runs on FourSixFourXLatComponent system TestAdapter {
                testcase TC_464XLAT_PLATLSN_ALG_BV_005() runs on FourSixFourXLatComponent system TestAdapter {
                    
                    // Local variables
                    var UInt v_hostNum := lengthof(PX_464XLAT_MAPPING_TABLE_1_TO_N.portInfos);     /** Expected number of IPv6 packets to be forwarded */
@@ -1151,7 +1151,7 @@ module Ats464XLat_TestCases {
                    
                    // Test Body
                    // Start all components
                    vc_lsnComponents[0].start(f_TC_464XLAT_PLAT_LSN_ALG_BV_005_lsn(v_hostNum));
                    vc_lsnComponents[0].start(f_TC_464XLAT_PLATLSN_ALG_BV_005_lsn(v_hostNum));
                    for (v_host := 0; v_host < v_hostNum; v_host := v_host + 1) {
                        v_ipv6Packet := m_echoRequest_noExtHdr_data(
                          PX_464XLAT_MAPPING_TABLE_1_TO_N.portInfos[v_host].ip6Address,
@@ -1161,7 +1161,7 @@ module Ats464XLat_TestCases {
                          c_1280ZeroBytes
                        );
                        
                        vc_hostComponents[v_host].start(f_TC_464XLAT_PLAT_LSN_ALG_BV_005_host(v_ipv6Packet));
                        vc_hostComponents[v_host].start(f_TC_464XLAT_PLATLSN_ALG_BV_005_host(v_ipv6Packet));
                    } // End of 'for' statement 
                    
                    f_serverSyncNClientsAndStop(v_hostNum + 1, { c_prDone, c_tbDone, c_poDone });
@@ -1169,15 +1169,15 @@ module Ats464XLat_TestCases {
                    // Postamble
                    f_down();
                    
                } // End of testcase TC_464XLAT_PLAT_LSN_ALG_BV_005
                } // End of testcase TC_464XLAT_PLATLSN_ALG_BV_005
                
                group f_TC_464XLAT_PLAT_LSN_ALG_BV_005 {
                group f_TC_464XLAT_PLATLSN_ALG_BV_005 {
                    
                    /**
                     * @desc Simulates LSN side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_005_lsn(integer p_hostNum) runs on LSNComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_005_lsn(integer p_hostNum) runs on LSNComponent {
                        
                        // Local variables
                        var FncRetCode v_result := e_success;
@@ -1216,13 +1216,13 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_005_lsn
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_005_lsn
                    
                    /**
                     * @desc Simulates client side
                     * @verdict 'pass' on success, 'inconc' on 'timeout', fail otherwise
                     */
                    function f_TC_464XLAT_PLAT_LSN_ALG_BV_005_host(Ipv6Packet p_ipv6Packet) runs on HostComponent {
                    function f_TC_464XLAT_PLATLSN_ALG_BV_005_host(Ipv6Packet p_ipv6Packet) runs on HostComponent {
                        
                        // Local variables
                         
@@ -1240,9 +1240,9 @@ module Ats464XLat_TestCases {
                        f_selfOrClientSyncAndVerdict(c_poDone, e_success);
                        log("*** " & __SCOPE__ & ": INFO: Postamble done. ***");
                        
                    } // End of function f_TC_464XLAT_PLAT_LSN_ALG_BV_005_host
                    } // End of function f_TC_464XLAT_PLATLSN_ALG_BV_005_host
                    
                } // End of group f_TC_464XLAT_PLAT_LSN_ALG_BV_005
                } // End of group f_TC_464XLAT_PLATLSN_ALG_BV_005
                
            } // End of group validBehaviour