Increase CBMC_OBJECT_BITS for 2 CBMC proofs

FreeRTOS / FreeRTOS-Cellular-Interface

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

MIT License

85 stars 59 forks source link

Closed angelonakos closed 2 years ago

angelonakos commented 2 years ago

This needs to be done in order for the proofs to pass with CBMC v5.67.0