search

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

Update litani submodule #33

Closed markrtuttle closed 3 years ago

markrtuttle commented 3 years ago

Update litani submodule 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.