A readme file to introduce what ./Test directory is about.

5 years ago · 5b9777e11e
parent 211bb4cbd9
commit 5b9777e11e
1 changed files with 5 additions and 0 deletions
--- a/FreeRTOS/Test/README.md
+++ b/FreeRTOS/Test/README.md
@ -0,0 +1,5 @@
+ ## 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.