diff options
Diffstat (limited to 'FreeRTOS/Test/VeriFast/README.md')
| -rw-r--r-- | FreeRTOS/Test/VeriFast/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/FreeRTOS/Test/VeriFast/README.md b/FreeRTOS/Test/VeriFast/README.md index 5d472692f..fe26be2c8 100644 --- a/FreeRTOS/Test/VeriFast/README.md +++ b/FreeRTOS/Test/VeriFast/README.md @@ -56,6 +56,7 @@ Then click `Verify` and `Verify Program` (or press F5). Note that the following proofs require arithmetic overflow checking to be turned off (click `Verify` and uncheck `Check arithmetic overflow`). + - `queue/create.c` - `queue/prvCopyDataToQueue.c` - `queue/xQueueGenericSendFromISR.c` - `queue/xQueueReceiveFromISR.c` |