CBMC proofs: address preprocessor warnings

FreeRTOS / FreeRTOS-Cellular-Interface

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

MIT License

85 stars 59 forks source link

Closed tautschnig closed 1 year ago

tautschnig commented 1 year ago

See individual commit messages: we got a number of preprocessor warnings as the sequence of loading headers wasn't right.