diff options
author | Carl Lundin <53273776+lundinc2@users.noreply.github.com> | 2021-02-12 10:21:07 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-12 10:21:07 -0800 |
commit | f6dff3fea38219a825870fc923f8d13e8540ca51 (patch) | |
tree | d5104a7290c18a22997bb9885782e4305f0e6323 /.gitmodules | |
parent | cd92c42b5204fdb8de885bfe26d1751c3250d2dc (diff) | |
download | freertos-git-f6dff3fea38219a825870fc923f8d13e8540ca51.tar.gz |
Add Litani to run CBMC proofs (#501)
Update to out of source makefile build and add run-cbmc-proofs.py
CBMC proofs can now be run with Litani with the command
"./run-cbmc-proofs.py"
Based on commits:
* 1646301 - Ignore CBMC proof failures, fail the build later (4 months ago) <Kareem Khazem>
* 7e8c91a - Fix Makefile prerequisite symbol for CBMC proofs (4 months ago) <Kareem Khazem>
* bee04be - Enable CBMC proofs to run in CI (4 months ago) <Kareem Khazem>
Found in https://github.com/FreeRTOS/FreeRTOS-Plus-TCP
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 84723b4d1..902969180 100644 --- a/.gitmodules +++ b/.gitmodules @@ -40,3 +40,6 @@ [submodule "FreeRTOS-Plus/ThirdParty/wolfSSL"] path = FreeRTOS-Plus/ThirdParty/wolfSSL url = https://github.com/wolfSSL/wolfssl.git +[submodule "FreeRTOS/Test/aws-build-accumulator"] + path = FreeRTOS/Test/litani + url = https://github.com/awslabs/aws-build-accumulator.git |