## 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.