Closed markrtuttle closed 2 years ago
Update litani and templates submodules for CBMC proofs to support loop invariants and function contracts.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Update litani and templates submodules for CBMC proofs to support loop invariants and function contracts.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.