Path	Lines of Code
AWSCRTAndroidTestRunner/app/src/main/AndroidManifest.xml	4
AWSCRTAndroidTestRunner/gradle.properties	23
CONTRIBUTING.md	36
README.md	202
builder.json	22
docker-images/README.md	22
verification/cbmc/README.md	27