Commit 128a7c6e authored by garciay's avatar garciay
Browse files

Align test case name with the TSS&TPs document

Add template mdw_securedMessage_CAMs_headers
parent 5921b519
Loading
Loading
Loading
Loading
+10 −0
Original line number Diff line number Diff line
@@ -941,6 +941,16 @@ module LibItsSecurity_Templates {
                trailer_fields      := p_trailer
            } // End of template mdw_securedMessage
            
            template (present) SecuredMessage mdw_securedMessage_CAMs_headers(
                                                                      in template (present) HeaderFields p_headers := ?,
                                                                      in template (present) SecPayload p_payload := ?, 
                                                                      in template (present) TrailerFields p_trailer := ? 
            ) modifies mdw_securedMessage_dummy := {
                header_fields       := superset(mw_header_field_its_aid_CAM, p_headers),
                payload_field       := p_payload,
                trailer_fields      := p_trailer
            } // End of template mdw_securedMessage_CAMs
            
            template (present) SecuredMessage mdw_securedMessage_CAMs(
                                                                      in template (present) HeaderField p_header := ?,
                                                                      in template (present) SecPayload p_payload := ?,