Commit 14e21bbc authored by garciay's avatar garciay
Browse files

Validate AtsRSUSimulator for CAM & DENM

parent 9c8a103c
Loading
Loading
Loading
Loading
+1 −1
Original line number Original line Diff line number Diff line
@@ -1206,7 +1206,7 @@ module LibItsGeoNetworking_Templates {
                    m_beaconHeaderType
                    m_beaconHeaderType
                ),
                ),
                extendedHeader := mw_beaconHeader(p_sourceLongPosVec),
                extendedHeader := mw_beaconHeader(p_sourceLongPosVec),
                payload := (*, '00000000000000000000'O)
                payload := '00000000000000000000'O ifpresent //(*, '00000000000000000000'O)
            }
            }
            
            
        } // end group geoNwPacketBeaconTemplates
        } // end group geoNwPacketBeaconTemplates
+2 −0
Original line number Original line Diff line number Diff line
@@ -379,6 +379,8 @@ module LibItsGeoNetworking_TypesAndValues {
          BeaconHeader        beaconHeader,
          BeaconHeader        beaconHeader,
          LSRequestHeader     lsRequestHeader,
          LSRequestHeader     lsRequestHeader,
          LSReplyHeader       lsReplyHeader,
          LSReplyHeader       lsReplyHeader,
          AnyHeader           saHeader, // FIXME Cannot find description, AnyHeader was used as default
          AnyHeader           saEosHeader, // FIXME Cannot find description, AnyHeader was used as default
          AnyHeader           anyHeader
          AnyHeader           anyHeader
        } with {
        } with {
        variant ""
        variant ""