search

awslabs / aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
Apache License 2.0
262 stars 159 forks source link

Pin CBMC version to 5.81.0 #1022

Closed karkhaz closed 1 year ago

karkhaz commented 1 year ago

This is due to a failure of aws_hash_table_clean_up with 5.82.

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

codecov-commenter commented 1 year ago

Codecov Report

Patch and project coverage have no change.

Comparison is base (fda2104) 82.05% compared to head (4f42298) 82.05%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1022 +/- ## ======================================= Coverage 82.05% 82.05% ======================================= Files 52 52 Lines 5650 5650 ======================================= Hits 4636 4636 Misses 1014 1014 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.