| commit | 6bad7d2055bb15750391ffa7454cba33ad1b0d2b | [log] [tgz] |
|---|---|---|
| author | Gaurav Aggarwal <aggarg@amazon.com> | Sat Jul 27 23:03:23 2019 +0000 |
| committer | Gaurav Aggarwal <aggarg@amazon.com> | Sat Jul 27 23:03:23 2019 +0000 |
| tree | b740df19909acccb7feda825c80dd6c9dc673e49 | |
| parent | b4c06085e1f9c0e100c60bd95298a17fcefaae1e [diff] |
Add the default definition of configPRECONDITION to FreeRTOS.h. This is needed for CBMC proofs.