From d79fbaccd2a3f2ee1a5b1ba922f2e0b1e0ef1f91 Mon Sep 17 00:00:00 2001
From: Mark Tuttle <tuttle@acm.org>
Date: Mon, 6 Dec 2021 19:43:31 -0500
Subject: [PATCH] Loop invariant update (#181)

* Advance litani submodule for CBMC proofs

* Advance templates submodule for CBMC proofs

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
---
 test/cbmc/aws-templates-for-cbmc-proofs | 2 +-
 test/cbmc/litani                        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
index cc3da9dd3..fdbf54250 160000
--- a/test/cbmc/aws-templates-for-cbmc-proofs
+++ b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit cc3da9dd37d47abce6525128abe12dbb87891637
+Subproject commit fdbf54250243dfa4c23db47e26fd059958387733
diff --git a/test/cbmc/litani b/test/cbmc/litani
index 53e35c3c1..8b4a4ffb3 160000
--- a/test/cbmc/litani
+++ b/test/cbmc/litani
@@ -1 +1 @@
-Subproject commit 53e35c3c1a359aa835899a0f6dae8ac59d2da090
+Subproject commit 8b4a4ffb330119c7f4d9abd5996313eccd2c4ab1