path: root/FreeRTOS-Plus/Test/CBMC/proofs/README.md

This directory contains the proofs checked by CBMC.   For each entry point of FreeRTOS tested, there is a directory that contains the test harness and cbmc configuration information needed to check the proof.