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

README.md

CBMC proof source code

This directory contains source code written for CBMC proofs. It is common to write some code to model aspects of the system under test, and this code goes here.