alwin.berger/FRET-FreeRTOS
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
FRET-FreeRTOS/FreeRTOS-Plus/Source/FreeRTOS-Cellular-Interface/test/cbmc/stubs/README.md
Alwin Berger 20d74ab530 init
2021-11-30 14:51:24 +01:00

245 B
Raw Permalink Blame History

CBMC proof stubs

This directory contains the stubs written for CBMC proofs. It is common to stub out functionality like network send and receive methods when writing a CBMC proof, and the code for these stubs goes here.