Skip to content

Conversation

@danielsn
Copy link
Contributor

Description of changes:
Due to a change in the upstream aws-c-common library, the CBMC proofs require an additional .h file. This PR adds the file.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

Copy link
Contributor

@tautschnig tautschnig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it would be good to insert some comment into the file as empty files are really hard to make sense of. Something along the lines of "aws-c-common requires a configuration file. We do not currently need to set any options."

@david-koenig david-koenig merged commit 2fcb44b into aws:master Feb 21, 2019
feliperodri pushed a commit to feliperodri/aws-encryption-sdk-c that referenced this pull request Mar 6, 2020
* add required config file

* add comments to the config.h file as per PR review
feliperodri pushed a commit to thisistegan/aws-encryption-sdk-c that referenced this pull request Mar 6, 2020
* add required config file

* add comments to the config.h file as per PR review
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants