Bump CBMC version to 5.95.1

FreeRTOS / FreeRTOS-Plus-TCP

FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

MIT License

146 stars 159 forks source link

Closed tautschnig closed 3 months ago

tautschnig commented 3 months ago

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

Tested in CI

[ ] 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.

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.