UNPKG

aws-crt

Version:

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

github.com/awslabs/aws-crt-nodejs

awslabs/aws-crt-nodejs

5 lines (4 loc) • 162 B
1
2
3
4
5
: This file marks this directory as containing a CBMC proof. This file is automatically clobbered in CI and replaced with parameters for running the proof.