len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-10-20 03:37:46 -04:00
Code Issues Projects Releases Packages Wiki Activity

Fix spelling issues.

Browse source
This commit is contained in:
Yuhui.Zheng 2020-02-07 19:19:47 +00:00
parent 28efb5449c
commit f988394e0d
3 changed files with 9 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
FreeRTOS/Source/include/FreeRTOS.h
View file

@ -241,7 +241,7 @@ extern "C" {
#define configASSERT_DEFINED 1
#endif
/* configPRECONDITION should be resolve to configASSERT.
/* configPRECONDITION should be defined as configASSERT.
The CBMC proofs need a way to track assumptions and assertions.
A configPRECONDITION statement should express an implicit invariant or
assumption made. A configASSERT statement should express an invariant that must