Commit a62123dc authored by garciay's avatar garciay
Browse files

Terminated TC_DSLITE_B4_BF_BV_001

parent d17ad6aa
Loading
Loading
Loading
Loading
+0 −6
Original line number Diff line number Diff line
@@ -294,12 +294,6 @@ module AtsDSLite_Functions {
        return FncRetCode {
            var Ipv4Packet v_ipPkt := valueof(p_ipv4Packet);
            
            if(ischosen(v_ipPkt.ipv4Payload.ipv4EchoReplyMsg)) {
                v_ipPkt.ipv4Payload.ipv4EchoReplyMsg.checksum := fx_calcIpv4PayloadChecksum (
                    v_ipPkt.ipv4Payload
                );
            }
            
            //Build IPv4 Packet
            //IHL is set in templates
            // Update the total length                  
+2 −2
Original line number Diff line number Diff line
@@ -101,8 +101,8 @@ module AtsDSLite_Interfaces {
             * @member vc_dnsIPv6AddressThe DNS IPv6 address
             */
            type record HostAftrDataMsg {
                int         hostId,
                Ipv4Packet  packet
                integer     hostId,
                Ipv4Packet  ipv4Packet // TODO Use an union?
            } // End of type HostAftrDataMsg
            
        } // End of group componentPorts
+8 −5
Original line number Diff line number Diff line
@@ -592,7 +592,7 @@ module AtsDSLite_TestCases {
                                    PX_HOST_V4_LIST[p_hostId].payload
                                )
                            ),
                            v_HostAftrDataMsg.packet
                            v_HostAftrDataMsg.ipv4Packet
                        );
                        // Transmit the IPv4Packet to the AFTRComponent for 'Clause then' processing
                        v_HostAftrDataMsg.hostId := p_hostId;
@@ -657,11 +657,14 @@ module AtsDSLite_TestCases {
                            )) -> value v_ipv6Packet { 
                                tc_ac.stop;
                                for (v_host := 0; v_host < lengthof(v_hostAftrDataMsgs); v_host := v_host + 1) {
                                    if (match(v_ipv6Packet.ipv6Payload.octetstringMsg, v_hostAftrDataMsgs[v_hostAftrDataMsg.hostId].packet)) {
                                    var template (value) Ipv4Packet v_ipv4Packet;
                                    if (decvalue(oct2bit(v_ipv6Packet.ipv6Payload.octetstringMsg), v_ipv4Packet) == 0) {
                                        if (match(v_ipv4Packet, v_hostAftrDataMsgs[v_hostAftrDataMsg.hostId].ipv4Packet) == true) {
                                            log("*** " & __SCOPE__ & ": INFO: Receives encapsulated IPv4 packet #", v_host, ". ***");
                                            v_results[v_host] := true;
                                            break;
                                        }
                                    }
                                } // End of 'for' statement 
                                if (lengthof(v_results) == v_hostNum) { 
                                    log("*** " & __SCOPE__ & ": PASS: All encapsulated IPv4 packets were forwarded. ***");