len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2026-01-22 01:30:31 -05:00
Code Issues Projects Releases Packages Wiki Activity

Update ReadMe (#1044)

Browse source 
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
This commit is contained in:
kar-rahul-aws 2023-07-24 14:20:29 +05:30 • committed by GitHub
parent c31cc9ba1c
commit 278e6c4b49
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 28 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

2
FreeRTOS/Test/README.md
View file

@ -7,4 +7,6 @@ For more information on FreeRTOS testing please refer to https://www.freertos.or
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.
- ```./CMock```: This directory contains unit tests for verification of functional correctness of FreeRTOS Kernel APIs.
- ```./Target```: This directory contains integration tests which run on target devices to verify functional correctness of FreeRTOS Kernel APIs.
- ```./VeriFast```: This directory contains automated proofs of the functional correctness of various parts of the FreeRTOS code base.