From d421ccc89f6f6473dfdd566a00567b0e1fd4cfc3 Mon Sep 17 00:00:00 2001
From: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
Date: Sat, 25 Apr 2020 16:57:35 -0700
Subject: [PATCH] Reword readme.md under ./Test. (#61)

---
 FreeRTOS/Test/README.md | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/FreeRTOS/Test/README.md b/FreeRTOS/Test/README.md
index e1feeef73..a85db2642 100644
--- a/FreeRTOS/Test/README.md
+++ b/FreeRTOS/Test/README.md
@@ -1,5 +1,9 @@
- ## 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. 
+## Testing in FreeRTOS
+FreeRTOS kernel consists of common code and porting layer. Extensive [static analysis](https://en.wikipedia.org/wiki/Static_program_analysis) and [dynamic analysis](https://en.wikipedia.org/wiki/Dynamic_program_analysis) are done on both to ensure functional correctness of FreeRTOS kernel. 
 
- ## 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
+For more information on FreeRTOS testing please refer to https://www.freertos.org/FreeRTOS-Coding-Standard-and-Style-Guide.html.
+
+## Directory structure
+This directory is in working progress -- we are migrating scattered test cases to this directory. Here only lists what's currently under this directory. 
+
+- ```./CBMC```: This directory contains automated proofs of the memory safety of various parts of the FreeRTOS code base.
\ No newline at end of file