Add check for missing function declarations

FreeRTOS · Sep 8, 2021 · 38824c7 · 38824c7
1 parent e006f10
commit 38824c7
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/bin/check-link-stage
+32 −0		CHANGELOG
+35 −11		doc/bin/build-html-doc
+244 −0		doc/bin/schema-to-scdoc
+65 −37		doc/configure
+45 −0		doc/src/man/litani-add-job.scdoc
+73 −0		doc/src/man/litani-dump-run.scdoc
+22 −0		doc/src/man/litani-init.scdoc
+21 −0		doc/src/man/litani-run-build.scdoc
+90 −0		doc/src/man/litani.scdoc
+16 −0		doc/src/voluptuous-man/litani-run.json.yaml
+18 −12		doc/templates/index.jinja.html
+26 −0		doc/templates/voluptuous-man.jinja.scdoc
+2 −0		lib/capabilities.py
+8 −3		lib/litani.py
+7 −4		lib/litani_report.py
+52 −0		lib/output_artifact.py
+39 −0		lib/pid_file.py
+8 −3		lib/process.py
+172 −0		lib/run_printer.py
+326 −29		lib/validation.py
+52 −9		litani
+6 −0		test/e2e/run
+121 −0		test/e2e/tests/dump_run.py
+39 −0		test/e2e/tests/job_id_env.py
+69 −0		test/e2e/tests/multiproc_dump_run.py
+71 −0		test/unit/output_artifact.py
+178 −0		test/unit/run_consistency.py
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		../aws-templates-for-cbmc-proofs/template-for-repository/proofs/bin/check-link-stage