From a5ab1071d3044489f2a801cdbd3ea5a5445f9a76 Mon Sep 17 00:00:00 2001
From: Nicholas Rodgers <nrdg@amazon.com>
Date: Fri, 12 Mar 2021 09:23:05 -0500
Subject: [PATCH] Update litani and starter kit submodules

Update litani to version 1.6.0 and starter kit to tip of tree
---
 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 36bff9ac..27fdd8ee 160000
--- a/test/cbmc/aws-templates-for-cbmc-proofs
+++ b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 36bff9ac9d4616a66629582758a82b0178c99112
+Subproject commit 27fdd8ee01705d917bcf0a3c37ff687779a87bda
diff --git a/test/cbmc/litani b/test/cbmc/litani
index 3fc5e02b..b6522950 160000
--- a/test/cbmc/litani
+++ b/test/cbmc/litani
@@ -1 +1 @@
-Subproject commit 3fc5e02bc17483352546ac4c81078fde64cab674
+Subproject commit b652295078e26f8444c72ee3088f6a1230624827