FreeRTOS-Cellular-Interface icon indicating copy to clipboard operation
FreeRTOS-Cellular-Interface copied to clipboard
verified publisher icon FreeRTOS

Bump CBMC version to 5.95.1

Open tautschnig opened this issue 1 year ago • 0 comments

Description

This will make proofs use the latest stable release of CBMC (and cbmc-viewer).

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 10:06 tautschnig