]> git.sur5r.net Git - freertos/commit
projects / freertos / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b28bccc) | patch
Add the default definition of configPRECONDITION to FreeRTOS.h.
authorgaurav-aws <gaurav-aws@1d2547de-c912-0410-9cb9-b8ca96c0e9e2>
Sat, 27 Jul 2019 23:03:23 +0000 (23:03 +0000)
committergaurav-aws <gaurav-aws@1d2547de-c912-0410-9cb9-b8ca96c0e9e2>
Sat, 27 Jul 2019 23:03:23 +0000 (23:03 +0000)
commit68d64b6a7908b1025826bcef0f108a17a92e6a5f
treeb740df19909acccb7feda825c80dd6c9dc673e49tree | snapshot
parentb28bccc5d54997fb1080a9868813d7197a77f2dccommit | diff
Add the default definition of configPRECONDITION to FreeRTOS.h.

This is needed for CBMC proofs.

git-svn-id: https://svn.code.sf.net/p/freertos/code/trunk@2711 1d2547de-c912-0410-9cb9-b8ca96c0e9e2
FreeRTOS/Source/include/FreeRTOS.h diff | blob | history
FreeRTOS imported from SF.net SVN