From 4c083224b73a11bbe23ade1bb1a08b4385a028c4 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Wed, 1 Dec 2021 20:36:13 +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 53e35c3..8b4a4ff 160000 --- a/test/cbmc/litani +++ b/test/cbmc/litani @@ -1 +1 @@ -Subproject commit 53e35c3c1a359aa835899a0f6dae8ac59d2da090 +Subproject commit 8b4a4ffb330119c7f4d9abd5996313eccd2c4ab1 From c44ef7789b365d7419bc8ece460e82b148b23874 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Wed, 1 Dec 2021 20:36:13 +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 cc3da9d..fdbf542 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