Loop invariant update (#181)

* Advance litani submodule for CBMC proofs * Advance templates submodule for CBMC proofs Co-authored-by: Mark R. Tuttle <[email protected]>
FreeRTOS · Dec 7, 2021 · d79fbac · d79fbac
1 parent 785f2f2
commit d79fbac
Show file tree

Hide file tree

Showing 2 changed files with 2 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
+27 −0		CHANGELOG
+1 −0		CODEOWNERS
+53 −25		doc/src/man/litani-add-job.scdoc
+2 −1		doc/src/man/litani-dump-run.scdoc
+13 −2		doc/src/man/litani-init.scdoc
+14 −2		doc/src/man/litani-run-build.scdoc
+24 −0		doc/src/voluptuous-man/litani-outcome-table.json.yaml
+5 −0		doc/src/voluptuous-man/litani-run.json.yaml
+63 −29		lib/graph.py
+2 −32		lib/job_outcome.py
+2 −2		lib/litani.py
+45 −23		lib/litani_report.py
+5 −3		lib/process.py
+76 −10		lib/validation.py
+30 −10		litani
+58 −3		templates/dashboard.jinja.html
+1 −1		test/e2e/run
+57 −0		test/e2e/tests/custom_stages.py
+38 −0		test/e2e/tests/graph_line_break.py
+45 −0		test/e2e/tests/html_node.py
+43 −0		test/e2e/tests/timed_out_subprocess.py
+43 −0		test/e2e/tests/timed_out_subprocess_multi_shell.py
+43 −0		test/e2e/tests/timed_out_subprocess_shell.py