Closed markrtuttle closed 2 years ago
This pull request advances the litani and template submodules used by the cbmc proofs to the latest version.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
This pull request advances the litani and template submodules used by the cbmc proofs to the latest version.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.