coreHTTP icon indicating copy to clipboard operation
coreHTTP copied to clipboard

Published 20 hours ago • verified publisher icon FreeRTOS

Bump CBMC version to 5.95.1

Open tautschnig opened this issue 8 months ago • 0 comments

Description

This will make proofs use the latest stable release of CBMC.

Test Steps

Tested in CI.

Checklist:

  • [ ] I have tested my changes. No regression in existing tests.
  • [ ] I have modified and/or added unit-tests to cover the code changes in this Pull Request.

Related Issue

n/a

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

tautschnig avatar Jun 06 '24 09:06 tautschnig