Loop invariant update (#56)

* Advance litani submodule for CBMC proofs * Advance templates submodule for CBMC proofs Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
aws · Dec 6, 2021 · fc64e9c · fc64e9c
1 parent a405231
commit fc64e9c
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