fix CBMC potential issues - Githubissues

FreeRTOS / FreeRTOS-Cellular-Interface

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

MIT License

85 stars 60 forks source link

fix CBMC potential issues #70

Closed ActoryOu closed 2 years ago

ActoryOu commented 2 years ago

Remove redundant condition in CBMC stubs
Add more modules/platforms wrappers for CBMC
Fix some CBMC warnings: "WARNING: no body for function"