aws-crt
Version:
NodeJS/browser bindings to the aws-c-* libraries
10 lines (9 loc) • 419 B
Plain Text
[submodule "cbmc-templates"]
path = tests/cbmc/templates
url = https://github.com/awslabs/aws-templates-for-cbmc-proofs
[submodule "tests/cbmc/aws-verification-model-for-libcrypto"]
path = tests/cbmc/aws-verification-model-for-libcrypto
url = https://github.com/awslabs/aws-verification-model-for-libcrypto.git
[submodule "tests/litani"]
path = tests/litani
url = https://github.com/awslabs/aws-build-accumulator