From 490fe57a9fb76adccdcf551f002e507c5acef283 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Wed, 1 Dec 2021 20:36:24 +0000 Subject: [PATCH 1/2] Advance litani submodule for CBMC proofs --- test/cbmc/litani | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 From c839af13f684febfc3d759c905aab8d5c877650f Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Wed, 1 Dec 2021 20:36:24 +0000 Subject: [PATCH 2/2] Advance templates submodule for CBMC proofs --- test/cbmc/aws-templates-for-cbmc-proofs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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