Loop invariant update (#69)

markrtuttle · Mark R. Tuttle · web-flow · commit f4a23a3651f5 · 2021-12-07T09:46:16.000-07:00
* Fix broken CBMC symlinks

* Advance litani submodule for CBMC proofs

* Advance templates submodule for CBMC proofs

Co-authored-by: Mark R. Tuttle &lt;mrtuttle@amazon.com&gt;
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 06ca7bb9fbb445bbd4fdd32e982bdfcabbbf1d98
+Subproject commit fdbf54250243dfa4c23db47e26fd059958387733
diff --git a/test/cbmc/litani b/test/cbmc/litani
@@ -1 +1 @@
-Subproject commit 047c9f15455d04ec6a01430b3188f7dfdfc2cfad
+Subproject commit 8b4a4ffb330119c7f4d9abd5996313eccd2c4ab1
diff --git a/test/cbmc/proofs/run-cbmc-proofs.py b/test/cbmc/proofs/run-cbmc-proofs.py
diff --git a/test/cbmc/proofs/run-cbmc-proofs.py b/test/cbmc/proofs/run-cbmc-proofs.py
@@ -0,0 +1 @@
+../aws-templates-for-cbmc-proofs/template-for-repository/proofs/run-cbmc-proofs.py

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