Add check for missing function declarations

karkhaz · karkhaz · commit eb33cd54bbbe · 2021-09-08T19:16:39.000+01:00
diff --git 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
@@ -1 +1 @@
-Subproject commit 8b23cb74d5ca47e0f94ee50bb3da7e907fd48f27
+Subproject commit d42428f57fdbaf38f3e510d2935f74037b9ae993
diff --git a/test/cbmc/proofs/check-link-stage b/test/cbmc/proofs/check-link-stage
@@ -0,0 +1 @@
+../aws-templates-for-cbmc-proofs/template-for-repository/proofs/check-link-stage

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+../aws-templates-for-cbmc-proofs/template-for-repository/proofs/check-link-stage`