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
263 stars 159 forks source link

Update CBMC proof tooling to latest releases #1164

Closed tautschnig closed 2 days ago

tautschnig commented 3 weeks ago

Description of changes:

Use CBMC 6.4.0 and also the very latest solver releases.

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

codecov-commenter commented 3 weeks ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 83.62%. Comparing base (bb29dc8) to head (97dc53f).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1164 +/- ## ======================================= Coverage 83.62% 83.62% ======================================= Files 57 57 Lines 5948 5948 ======================================= Hits 4974 4974 Misses 974 974 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.