Skip to content

Move aws_byte_buf_contents_match to AWS C-common #665

Open
@adpaco-aws

Description

@adpaco-aws

As discussed in #638 , it makes sense to have this function in AWS C-common instead. It may be the case that we also want to move key_contents_match (pending discussion).

Metadata

Metadata

Assignees

No one assigned

    Labels

    cbmcCBMC proof related work

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions