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 |