embedded/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-07-30 17:54:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
6efc39f44be5b269168836e95aebbdb8ae77dce3
FreeRTOS/FreeRTOS-Plus/Test/CBMC/include
History

README.md

This directory contains include files used by the CBMC proofs:

  • cbmc.h defines some macros used in the proof test harnesses
Reference in New Issue View Git Blame Copy Permalink