Closed markrtuttle closed 2 years ago
Advance litani and template submodules to current release for CBMC proofs.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Advance litani and template submodules to current release for CBMC proofs.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.