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/include
History
Alwin Berger 20d74ab530 init
2021-11-30 14:51:24 +01:00
..
cellular_cbmc_state.h
init
2021-11-30 14:51:24 +01:00
cellular_config.h
init
2021-11-30 14:51:24 +01:00
cellular_platform.h
init
2021-11-30 14:51:24 +01:00
README.md
init
2021-11-30 14:51:24 +01:00

README.md

CBMC proof include files

This directory contains include files written for CBMC proof. It is common to write some code to model aspects of the system under test, and the header files for this code go here.