Update litani and starter kit submodules (#90)

nrdg42 · web-flow · commit 96976f8a33e2 · 2021-04-08T15:00:54.000-07:00
Update litani to version 1.6.0 and starter kit to tip of tree
diff --git 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
@@ -1 +1 @@
-Subproject commit 3fc5e02bc17483352546ac4c81078fde64cab674
+Subproject commit b652295078e26f8444c72ee3088f6a1230624827
