duplicated block id: 1 size: 21 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (247:269) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (255:278) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (255:278) duplicated block id: 2 size: 21 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (338:360) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (351:374) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (351:374) duplicated block id: 3 size: 21 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (371:393) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (385:408) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (385:408) duplicated block id: 4 size: 21 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (133:158) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (133:158) duplicated block id: 5 size: 21 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (206:230) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (206:230) duplicated block id: 6 size: 18 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (269:289) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (260:280) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (260:280) duplicated block id: 7 size: 18 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (358:378) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (346:366) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (346:366) duplicated block id: 8 size: 18 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (389:409) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (377:397) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (377:397) duplicated block id: 9 size: 17 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (45:65) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (45:65) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (45:65) duplicated block id: 10 size: 17 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (81:100) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (81:100) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (81:100) duplicated block id: 11 size: 16 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (99:123) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (99:123) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (99:123) duplicated block id: 12 size: 15 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/api_client.go (28:47) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (28:47) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (28:47) duplicated block id: 13 size: 15 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/api_client.go (49:68) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (49:68) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (49:68) duplicated block id: 14 size: 15 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (16:34) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (16:34) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (16:34) duplicated block id: 15 size: 15 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (138:156) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (138:156) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (138:156) duplicated block id: 16 size: 15 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (220:237) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (214:231) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (214:231) duplicated block id: 17 size: 13 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:35) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:35) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:35) duplicated block id: 18 size: 13 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (46:63) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (46:63) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (46:63) duplicated block id: 19 size: 13 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (107:128) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (107:128) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (107:128) duplicated block id: 20 size: 12 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (89:103) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (89:103) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (89:103) duplicated block id: 21 size: 12 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (174:188) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (171:185) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (171:185) duplicated block id: 22 size: 11 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (82:94) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (82:94) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (82:94) duplicated block id: 23 size: 11 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (158:170) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (158:170) duplicated block id: 24 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (160:171) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (160:171) duplicated block id: 25 size: 9 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (30:41) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (30:41) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (30:41) duplicated block id: 26 size: 9 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (325:336) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (338:349) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (338:349) duplicated block id: 27 size: 8 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/api_client.go (17:26) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (17:26) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (17:26) duplicated block id: 28 size: 8 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (290:299) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (281:290) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (281:290) duplicated block id: 29 size: 7 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (51:60) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (51:60) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (51:60) duplicated block id: 30 size: 7 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (126:135) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (126:135) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (126:135) duplicated block id: 31 size: 7 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (169:177) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (173:181) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (173:181) duplicated block id: 32 size: 7 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (192:200) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (196:204) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (196:204) duplicated block id: 33 size: 7 cleaned lines of code in 4 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (14:22) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (20:28) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (24:32) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (24:32) duplicated block id: 34 size: 6 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (166:174) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (166:174) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (166:174) duplicated block id: 35 size: 6 cleaned lines of code in 3 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (271:278) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (280:287) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (280:287) duplicated block id: 36 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go (18:25) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go (18:25) duplicated block id: 37 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go (27:34) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go (27:34) duplicated block id: 38 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go (36:43) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go (36:43)