blob: ec0e5d4245dbb87e8b59d5ec2781508c4d23eabd (
plain)
1
2
3
4
5
6
|
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.
|