Path	Lines of Code
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go	60
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedMaterialProviders/extern.go	9
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go	114
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go	861
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go	874
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/enums.go	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/errors.go	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go	673
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/unmodelled_errors.go	19
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/TestWrappedMaterialProvidersMain/extern.go	13
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go	60
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go	114
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go	861
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go	874
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/enums.go	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/errors.go	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go	673
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/unmodelled_errors.go	19
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts	99
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/materialproviders/internaldafny/wrapped/__default.java	29
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/materialproviderstestvectorkeys/internaldafny/__default.java	2
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/materialproviderstestvectorkeys/internaldafny/types/__default.java	2
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/wrapped/TestMaterialProviders.java	723
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/KeyVectors.java	131
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToDafny.java	487
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToNative.java	474
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/CmmOperation.java	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/CollectionOfErrors.java	86
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/GetKeyDescriptionInput.java	45
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/GetKeyDescriptionOutput.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/HierarchyKeyring.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KMSInfo.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KeyDescription.java	250
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KeyVectorException.java	66
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KeyVectorsConfig.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsEcdhKeyring.java	149
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsMrkAware.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsMrkAwareDiscovery.java	84
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsRsaKeyring.java	68
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/MultiKeyring.java	61
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/OpaqueError.java	83
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/OpaqueWithTextError.java	99
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RawAES.java	65
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RawEcdh.java	170
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RawRSA.java	87
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RequiredEncryptionContextCMM.java	72
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/SerializeKeyDescriptionInput.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/SerializeKeyDescriptionOutput.java	45
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/StaticKeyring.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/TestVectorCmmInput.java	65
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/TestVectorKeyringInput.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Extern/WrappedMaterialProviders.cs	26
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/CmmOperation.cs	15
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/CollectionOfErrors.cs	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/GetKeyDescriptionInput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/GetKeyDescriptionOutput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/HierarchyKeyring.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KMSInfo.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyDescription.cs	145
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyVectorException.cs	10
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyVectors.cs	62
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyVectorsConfig.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KmsEcdhKeyring.cs	77
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KmsMrkAware.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KmsMrkAwareDiscovery.cs	43
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KmsRsaKeyring.cs	33
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/MultiKeyring.cs	32
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/OpaqueError.cs	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/OpaqueWithTextError.cs	13
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/RawAES.cs	33
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/RawEcdh.cs	88
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/RawRSA.cs	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/RequiredEncryptionContextCMM.cs	33
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/SerializeKeyDescriptionInput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/SerializeKeyDescriptionOutput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/StaticKeyring.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TestVectorCmmInput.cs	33
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TestVectorKeyringInput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TypeConversion.cs	994
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs	453
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_BranchKeyIdSupplier.cs	42
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_ClientSupplier.cs	32
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_CryptographicMaterialsCache.cs	93
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_CryptographicMaterialsManager.cs	70
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_Keyring.cs	70
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/pyproject.toml	19
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/__init__.py	4
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviders/__init__.py	1
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviders/shim.py	523
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/__init__.py	1
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/aws_sdk_to_dafny.py	15
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/client.py	292
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/config.py	67
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafnyImplInterface.py	20
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_protocol.py	23
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_to_aws_sdk.py	15
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_to_smithy.py	309
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/deserialize.py	60
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/errors.py	180
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/models.py	971
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/plugin.py	21
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/serialize.py	40
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/smithy_to_dafny.py	557
TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml	29
TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs	69