This PR is a continuation of https://github.com/aws/jobs-for-aws-iot-embedded-sdk/pull/3 . Switching the repo from private to public broke my ability to update the old PR. This PR (at the moment) has one more commit that the old PR, meant to address feedback from @danielsn and @markrtuttle .
The summary from the old PR: This PR adds 8 proofs for functions from the jobs library. Together, they cover the entire library, with no errors reported.
This PR is a continuation of https://github.com/aws/jobs-for-aws-iot-embedded-sdk/pull/3 . Switching the repo from private to public broke my ability to update the old PR. This PR (at the moment) has one more commit that the old PR, meant to address feedback from @danielsn and @markrtuttle .
The summary from the old PR: This PR adds 8 proofs for functions from the jobs library. Together, they cover the entire library, with no errors reported.