From 5b9777e11e16609648fb98d2f9a47553ab238950 Mon Sep 17 00:00:00 2001
From: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
Date: Tue, 31 Mar 2020 10:45:23 -0700
Subject: [PATCH] A readme file to introduce what ./Test directory is about.

---
 FreeRTOS/Test/README.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 FreeRTOS/Test/README.md

diff --git a/FreeRTOS/Test/README.md b/FreeRTOS/Test/README.md
new file mode 100644
index 000000000..e1feeef73
--- /dev/null
+++ 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.
\ No newline at end of file