Skip to content

Remove all instances of mallocCanFail#119

Draft
feliperodri wants to merge 1 commit intoFreeRTOS:mainfrom
feliperodri:update-cbmc-proofs
Draft

Remove all instances of mallocCanFail#119
feliperodri wants to merge 1 commit intoFreeRTOS:mainfrom
feliperodri:update-cbmc-proofs

Commits

Commits on Oct 29, 2021