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