diff options
author | Mark Tuttle <tuttle@acm.org> | 2021-12-06 19:42:13 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-06 17:42:13 -0700 |
commit | eb9caf9d980c9c1e617ef71967732359e86f3677 (patch) | |
tree | 7434a19ec267d9e80254650e476535e8f2ca2544 | |
parent | b1b3a0a3e98b226e7fe59a6db84bd3f3e2179967 (diff) | |
download | freertos-git-eb9caf9d980c9c1e617ef71967732359e86f3677.tar.gz |
Advance litani submodule for CBMC proofs (#725)
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 8579a51f12c5a824deb9a1094f35679dbf831a7 +Subproject 8b4a4ffb330119c7f4d9abd5996313eccd2c4ab |