Bump CBMC version to 5.95.1 - Githubissues

FreeRTOS / FreeRTOS-Cellular-Interface

FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard.

MIT License

85 stars 59 forks source link

Bump CBMC version to 5.95.1 #174

Closed tautschnig closed 3 months ago

tautschnig commented 5 months ago

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.