Update litani and template submodules for cbmc proofs

aws / Jobs-for-AWS-IoT-embedded-sdk

Client library for using AWS IoT Jobs service on embedded devices

MIT License

12 stars 35 forks source link

Closed markrtuttle closed 2 years ago

markrtuttle commented 2 years ago

This pull request advances the litani and template submodules used by the cbmc proofs to the latest version.