[Draft] CBMC: replace any missing functions by assert-false

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

125 stars 149 forks source link

Open tautschnig opened 1 month ago

tautschnig commented 1 month ago

Make sure any missing functions are caught when running with CBMC.

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

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