Add check for missing function declarations

FreeRTOS · Sep 8, 2021 · 5e2666c · 5e2666c
1 parent e006f10
commit 5e2666c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
diff --git a/test/cbmc/litani b/test/cbmc/litani
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