len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-17 17:15:14 -05:00
Code Issues Projects Releases Packages Wiki Activity
FreeRTOS-Kernel/FreeRTOS/Test/README.md

359 B
Raw Blame History

Testing in FreeRTOS

This directory is in working progress -- we are migrating scattered test cases to this directory. The directory structure section below only lists what's currently under this directory.

Directory structure

  • ./CBMC: This directory contains automated proofs of the memory safety of various parts of the FreeRTOS code base.