aws-crt

Version:

NodeJS/browser bindings to the aws-c-* libraries

4 lines (3 loc) • 168 B

Plain Text

[submodule "tests/cbmc/aws-templates-for-cbmc-proofs"] path = tests/cbmc/aws-templates-for-cbmc-proofs url = https://github.com/awslabs/aws-templates-for-cbmc-proofs