aws-crt

Version:

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

4 lines (3 loc) • 179 B

Plain Text

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