Path	Lines of Code
TestVectors/runtimes/go/ImplementationFromDafny-go/WrappedESDK/extern.go	9
TestVectors/runtimes/go/TestsFromDafny-go/TestWrappedESDKMain/extern.go	13
TestVectors/runtimes/java/build.gradle.kts	62
TestVectors/runtimes/java/settings.gradle.kts	2
TestVectors/runtimes/java/src/main/java/software/amazon/cryptography/encryptionsdk/internaldafny/wrapped/__default.java	64
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/KeyringToMasterKeyProvider.java	221
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java	302
TestVectors/runtimes/net/Extern/WrappedESDK.cs	23
TestVectors/runtimes/net/Generated/TestVectors/AwsEncryptionSdkShim.cs	69
TestVectors/runtimes/net/Generated/TestVectors/TypeConversion.cs	453
TestVectors/runtimes/python/pyproject.toml	24
TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/__init__.py	4
TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/smithygenerated/aws_cryptography_encryptionsdk/__init__.py	1
TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/smithygenerated/aws_cryptography_encryptionsdk/shim.py	56
TestVectors/runtimes/rust/Cargo.toml	34
TestVectors/runtimes/rust/src/main.rs	65