From eb33cd54bbbe3a3bccca56440323308da4c84b84 Mon Sep 17 00:00:00 2001
From: Kareem Khazem <karkhaz@amazon.com>
Date: Fri, 3 Sep 2021 20:08:11 +0100
Subject: [PATCH] Add check for missing function declarations

---
 test/cbmc/aws-templates-for-cbmc-proofs | 2 +-
 test/cbmc/litani                        | 2 +-
 test/cbmc/proofs/check-link-stage       | 1 +
 3 files changed, 3 insertions(+), 2 deletions(-)
 create mode 120000 test/cbmc/proofs/check-link-stage

diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
index 7fdd7048..53e8e688 160000
--- a/test/cbmc/aws-templates-for-cbmc-proofs
+++ b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 7fdd7048b01e68fd549e20da1d216e34d719043a
+Subproject commit 53e8e688bae7a54180e3834bf35bbcd89137e66c
diff --git a/test/cbmc/litani b/test/cbmc/litani
index 8b23cb74..d42428f5 160000
--- a/test/cbmc/litani
+++ b/test/cbmc/litani
@@ -1 +1 @@
-Subproject commit 8b23cb74d5ca47e0f94ee50bb3da7e907fd48f27
+Subproject commit d42428f57fdbaf38f3e510d2935f74037b9ae993
diff --git a/test/cbmc/proofs/check-link-stage b/test/cbmc/proofs/check-link-stage
new file mode 120000
index 00000000..aabe62b2
--- /dev/null
+++ b/test/cbmc/proofs/check-link-stage
@@ -0,0 +1 @@
+../aws-templates-for-cbmc-proofs/template-for-repository/proofs/check-link-stage
\ No newline at end of file