Commit cb04d71c authored by garciay's avatar garciay
Browse files

Bug fixed after Elvior rebuild

parent 9bc1698b
Loading
Loading
Loading
Loading
+4 −4
Original line number Original line Diff line number Diff line
@@ -268,7 +268,7 @@ module LibItsFntp_Templates {
            ) modifies m_fntpBasicNPDU := { 
            ) modifies m_fntpBasicNPDU := { 
                header := { 
                header := { 
                    options := { 
                    options := { 
                        opt4 := null 
                        opt4 := NULL 
                    } 
                    } 
                } // End of 'header' field
                } // End of 'header' field
            } // End of template md_fntpExtendedNPDU_InvalidCtrlField
            } // End of template md_fntpExtendedNPDU_InvalidCtrlField
@@ -287,7 +287,7 @@ module LibItsFntp_Templates {
            ) modifies m_fntpBasicNPDU := { 
            ) modifies m_fntpBasicNPDU := { 
                header := { 
                header := { 
                    options := { 
                    options := { 
                        opt5 := null 
                        opt5 := NULL 
                    } // End of 'options' field
                    } // End of 'options' field
                } // End of 'header' field
                } // End of 'header' field
            } // End of template md_fntpExtendedNPDU_InvalidBitSet
            } // End of template md_fntpExtendedNPDU_InvalidBitSet
@@ -981,7 +981,7 @@ module LibItsFntp_Templates {
                    in template (present) FNTPhopCount p_hops 
                    in template (present) FNTPhopCount p_hops 
                ) modifies mw_noFntpOptions := { 
                ) modifies mw_noFntpOptions := { 
                    hops := p_hops, 
                    hops := p_hops, 
                    opt5 := null 
                    opt5 := NULL 
                } // End of template mdw_nHopNfFntpOptions
                } // End of template mdw_nHopNfFntpOptions
                
                
                /**
                /**
@@ -990,7 +990,7 @@ module LibItsFntp_Templates {
                 */
                 */
                template (value) FntpOptions md_nonSupportedFntpControlField
                template (value) FntpOptions md_nonSupportedFntpControlField
                modifies m_noFntpOptions := {
                modifies m_noFntpOptions := {
                    opt4 := null 
                    opt4 := NULL 
                } // End of template md_nonSupportedFntpControlField
                } // End of template md_nonSupportedFntpControlField
                
                
                /**
                /**
+4 −4
Original line number Original line Diff line number Diff line
@@ -252,10 +252,10 @@ module LibItsIicp_Functions {
         * @verdict Unchanged
         * @verdict Unchanged
         * @see ETSI ES 201 873-1 V4.3.1 (2011-06)
         * @see ETSI ES 201 873-1 V4.3.1 (2011-06)
         */
         */
        function f_superset_VCI_Info(in template VCI_info_res p_vciInfoRes, in template VCI_Info p_baseTemplate) return boolean { 
        function f_superset_VCI_Info(in VCI_info_res p_vciInfoRes, in template (present) VCI_Info p_baseTemplate) return boolean { 
            var integer v_counter;
            var integer v_counter;
            
            
            for (v_counter := 0; v_counter < sizeof(p_vciInfoRes); v_counter := v_counter + 1) { 
            for (v_counter := 0; v_counter < lengthof(p_vciInfoRes); v_counter := v_counter + 1) { 
                if (match(p_vciInfoRes[v_counter], p_baseTemplate)) { 
                if (match(p_vciInfoRes[v_counter], p_baseTemplate)) { 
                    return true;
                    return true;
                }
                }
@@ -272,10 +272,10 @@ module LibItsIicp_Functions {
         * @verdict Unchanged
         * @verdict Unchanged
         * @see ETSI ES 201 873-1 V4.3.1 (2011-06)
         * @see ETSI ES 201 873-1 V4.3.1 (2011-06)
         */
         */
        function f_superset_VCI_Update(in template VCI_update_req p_vciUpdate, in template VCI_Info p_baseTemplate) return boolean { 
        function f_superset_VCI_Update(in VCI_update_req p_vciUpdate, in template (present) VCI_Info p_baseTemplate) return boolean { 
            var integer v_counter;
            var integer v_counter;
            
            
            for (v_counter := 0; v_counter < sizeof(p_vciUpdate); v_counter := v_counter + 1) { 
            for (v_counter := 0; v_counter < lengthof(p_vciUpdate); v_counter := v_counter + 1) { 
                if (match(p_vciUpdate[v_counter], p_baseTemplate)) { 
                if (match(p_vciUpdate[v_counter], p_baseTemplate)) { 
                    return true;
                    return true;
                }
                }