6 lines
309 B
Markdown
6 lines
309 B
Markdown
This directory includes patches to FreeRTOS required to run the CBMC proofs.
|
|
|
|
The patches fall into three classes:
|
|
* First is a refactoring of prvCheckOptions
|
|
* Second is the removal of static attributes from some functions
|
|
* Third is two patches dealing with shortcomings of CBMC that should be removed soon. |