Advance litani submodule for cbmc proofs to latest version (#687)

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
3 years ago · 409adde459
parent 8216e02df7
commit 409adde459
1 changed files with 1 additions and 1 deletions
--- a/FreeRTOS/Test/litani
+++ b/FreeRTOS/Test/litani
@ -1 +1 @@
-Subproject commit 8b23cb74d5ca47e0f94ee50bb3da7e907fd48f27
+Subproject commit 53e35c3c1a359aa835899a0f6dae8ac59d2da090