diff options
Diffstat (limited to 'FreeRTOS/Test/README.md')
-rw-r--r-- | FreeRTOS/Test/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/FreeRTOS/Test/README.md b/FreeRTOS/Test/README.md index 47f440971..7a37272ca 100644 --- a/FreeRTOS/Test/README.md +++ b/FreeRTOS/Test/README.md @@ -1,10 +1,10 @@ ## 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. +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. 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. +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. - ```./VeriFast```: This directory contains automated proofs of the functional correctness of various parts of the FreeRTOS code base. |