diff options
author | Mark Tuttle <tuttle@acm.org> | 2021-10-15 10:41:30 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-15 07:41:30 -0700 |
commit | 409adde459814fbf6dc04176f987f2b5db7b6466 (patch) | |
tree | e1e2b146ef81973ceeaccac3440385166f5de60a | |
parent | 8216e02df7a2ea75c292f44ba8c6f083ba17172d (diff) | |
download | freertos-git-409adde459814fbf6dc04176f987f2b5db7b6466.tar.gz |
Advance litani submodule for cbmc proofs to latest version (#687)
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
m--------- | FreeRTOS/Test/litani | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/FreeRTOS/Test/litani b/FreeRTOS/Test/litani -Subproject 8b23cb74d5ca47e0f94ee50bb3da7e907fd48f2 +Subproject 53e35c3c1a359aa835899a0f6dae8ac59d2da09 |