duplicated block id: 1 size: 275 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs (10:481) - TestVectors/runtimes/net/Generated/TestVectors/TypeConversion.cs (14:469) duplicated block id: 2 size: 257 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (16:396) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (16:396) duplicated block id: 3 size: 254 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:407) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:407) duplicated block id: 4 size: 129 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (67:215) - releases/rust/esdk/src/types/_encrypt_input.rs (67:215) duplicated block id: 5 size: 122 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:254) - releases/go/encryption-sdk/ESDK/ESDK.go (133:254) duplicated block id: 6 size: 121 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:253) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:252) duplicated block id: 7 size: 121 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:253) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:252) duplicated block id: 8 size: 120 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:252) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:249) duplicated block id: 9 size: 120 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:252) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:249) duplicated block id: 10 size: 120 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:251) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:249) duplicated block id: 11 size: 119 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:251) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:248) duplicated block id: 12 size: 119 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:251) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:248) duplicated block id: 13 size: 119 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:250) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:248) duplicated block id: 14 size: 119 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:248) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:248) duplicated block id: 15 size: 118 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:250) - releases/go/encryption-sdk/Frames/Frames.go (128:245) duplicated block id: 16 size: 118 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:249) - releases/go/encryption-sdk/Frames/Frames.go (128:245) duplicated block id: 17 size: 118 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (128:245) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:247) duplicated block id: 18 size: 118 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:250) - releases/go/encryption-sdk/Frames/Frames.go (128:245) duplicated block id: 19 size: 118 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (128:245) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:247) duplicated block id: 20 size: 117 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (127:243) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:246) duplicated block id: 21 size: 117 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (127:243) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:246) duplicated block id: 22 size: 117 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:249) - releases/go/encryption-sdk/Header/Header.go (127:243) duplicated block id: 23 size: 117 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (128:244) - releases/go/encryption-sdk/Header/Header.go (127:243) duplicated block id: 24 size: 117 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:249) - releases/go/encryption-sdk/Header/Header.go (127:243) duplicated block id: 25 size: 117 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:248) - releases/go/encryption-sdk/Header/Header.go (127:243) duplicated block id: 26 size: 116 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:247) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:241) duplicated block id: 27 size: 116 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:248) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:241) duplicated block id: 28 size: 116 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:248) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:241) duplicated block id: 29 size: 116 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:241) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:245) duplicated block id: 30 size: 116 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (127:242) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:241) duplicated block id: 31 size: 116 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:241) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:245) duplicated block id: 32 size: 116 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (128:243) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:241) duplicated block id: 33 size: 113 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:236) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:242) duplicated block id: 34 size: 113 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:236) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:242) duplicated block id: 35 size: 113 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:236) - releases/go/encryption-sdk/Header/Header.go (127:239) duplicated block id: 36 size: 113 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:245) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:236) duplicated block id: 37 size: 113 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:236) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:238) duplicated block id: 38 size: 113 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:244) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:236) duplicated block id: 39 size: 113 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:245) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:236) duplicated block id: 40 size: 113 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:236) - releases/go/encryption-sdk/Frames/Frames.go (128:240) duplicated block id: 41 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:241) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 42 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (127:238) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 43 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:244) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 44 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (128:239) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 45 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:235) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 46 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:241) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 47 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:243) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 48 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:237) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 49 size: 112 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:244) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:233) duplicated block id: 50 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (128:238) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) duplicated block id: 51 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:242) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) duplicated block id: 52 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:240) duplicated block id: 53 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:234) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) duplicated block id: 54 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:243) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) duplicated block id: 55 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (127:237) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) duplicated block id: 56 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:243) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) duplicated block id: 57 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:232) duplicated block id: 58 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:236) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) duplicated block id: 59 size: 111 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:231) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:240) duplicated block id: 60 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:235) duplicated block id: 61 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:231) duplicated block id: 62 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) - releases/go/encryption-sdk/Frames/Frames.go (128:237) duplicated block id: 63 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) - releases/go/encryption-sdk/Header/Header.go (127:236) duplicated block id: 64 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:233) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) duplicated block id: 65 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:242) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) duplicated block id: 66 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:241) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) duplicated block id: 67 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:242) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) duplicated block id: 68 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:230) duplicated block id: 69 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:239) duplicated block id: 70 size: 110 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:230) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:239) duplicated block id: 71 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:234) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 72 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:230) duplicated block id: 73 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:229) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 74 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:232) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 75 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:241) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 76 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:241) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 77 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:238) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 78 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:240) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 79 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:229) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 80 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (128:236) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 81 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:238) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 82 size: 109 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (127:235) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:227) duplicated block id: 83 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:239) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 84 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:233) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 85 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:240) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 86 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (127:234) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 87 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:229) duplicated block id: 88 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:231) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 89 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (133:240) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 90 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:228) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 91 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:226) duplicated block id: 92 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (128:235) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 93 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:237) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 94 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:237) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 95 size: 108 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:228) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:227) duplicated block id: 96 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (121:227) duplicated block id: 97 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (124:230) duplicated block id: 98 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/ESDK/ESDK.go (133:239) duplicated block id: 99 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (133:239) duplicated block id: 100 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (126:232) duplicated block id: 101 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (121:227) duplicated block id: 102 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/Header/Header.go (127:233) duplicated block id: 103 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (120:226) duplicated block id: 104 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (119:225) duplicated block id: 105 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (132:238) duplicated block id: 106 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/Frames/Frames.go (128:234) duplicated block id: 107 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/MessageBody/MessageBody.go (130:236) duplicated block id: 108 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (130:236) duplicated block id: 109 size: 107 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (117:223) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (122:228) duplicated block id: 110 size: 97 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (51:161) - releases/rust/esdk/src/types/_decrypt_input.rs (51:161) duplicated block id: 111 size: 90 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188) duplicated block id: 112 size: 90 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188) duplicated block id: 113 size: 90 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188) duplicated block id: 114 size: 86 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (16:159) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (16:159) duplicated block id: 115 size: 86 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (16:159) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (16:159) duplicated block id: 116 size: 83 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (49:142) - releases/rust/esdk/src/types/_encrypt_output.rs (49:142) duplicated block id: 117 size: 77 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (49:136) - releases/rust/esdk/src/types/_decrypt_output.rs (49:136) duplicated block id: 118 size: 74 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:140) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:140) duplicated block id: 119 size: 74 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:140) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:140) duplicated block id: 120 size: 68 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (302:396) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (314:408) duplicated block id: 121 size: 68 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (302:396) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (314:408) duplicated block id: 122 size: 57 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:407) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:392) duplicated block id: 123 size: 57 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:407) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:392) duplicated block id: 124 size: 54 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/rust/src/lib.rs (64:133) - releases/rust/esdk/src/lib.rs (64:133) duplicated block id: 125 size: 51 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (63:119) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (80:136) duplicated block id: 126 size: 51 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (63:119) - releases/rust/esdk/src/types/_encrypt_input.rs (80:136) duplicated block id: 127 size: 51 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (80:136) - releases/rust/esdk/src/types/_decrypt_output.rs (63:119) duplicated block id: 128 size: 51 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (63:119) - releases/rust/esdk/src/types/_encrypt_input.rs (80:136) duplicated block id: 129 size: 48 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (4:59) - releases/rust/esdk/src/types/_encrypt_input.rs (4:59) duplicated block id: 130 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (110:156) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (150:196) duplicated block id: 131 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (150:196) - releases/rust/esdk/src/types/_decrypt_input.rs (110:156) duplicated block id: 132 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (110:156) - releases/rust/esdk/src/types/_encrypt_input.rs (150:196) duplicated block id: 133 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (62:108) - releases/rust/esdk/src/types/_encrypt_output.rs (91:137) duplicated block id: 134 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (91:137) - releases/rust/esdk/src/types/_decrypt_input.rs (62:108) duplicated block id: 135 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (62:108) - releases/rust/esdk/src/types/_encrypt_output.rs (91:137) duplicated block id: 136 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (62:108) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (91:137) duplicated block id: 137 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (110:156) - releases/rust/esdk/src/types/_encrypt_input.rs (150:196) duplicated block id: 138 size: 42 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (109:155) - releases/rust/esdk/src/operation/encrypt/builders.rs (131:177) duplicated block id: 139 size: 38 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (41:78) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (101:138) duplicated block id: 140 size: 36 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (243:292) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (252:301) duplicated block id: 141 size: 36 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66) duplicated block id: 142 size: 36 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (243:292) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (252:301) duplicated block id: 143 size: 36 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66) duplicated block id: 144 size: 36 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66) duplicated block id: 145 size: 34 cleaned lines of code in 2 files: - cfn/CI.yaml (66:99) - cfn/CI.yaml (108:141) duplicated block id: 146 size: 34 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (4:43) - releases/rust/esdk/src/types/_decrypt_input.rs (4:43) duplicated block id: 147 size: 33 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (4:41) - releases/rust/esdk/src/types/_encrypt_output.rs (4:41) duplicated block id: 148 size: 33 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (242:290) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (234:281) duplicated block id: 149 size: 33 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (242:290) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (234:281) duplicated block id: 150 size: 33 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (4:41) - releases/rust/esdk/src/types/_decrypt_output.rs (4:41) duplicated block id: 151 size: 30 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (48:81) - releases/rust/esdk/src/conversions/encrypt_input.rs (79:112) duplicated block id: 152 size: 28 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (11:38) - releases/rust/esdk/src/conversions/encrypt_input.rs (18:45) duplicated block id: 153 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (82:110) - releases/rust/esdk/src/types/_decrypt_output.rs (91:119) duplicated block id: 154 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (80:108) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (63:91) duplicated block id: 155 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (82:110) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (108:136) duplicated block id: 156 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (91:119) - releases/rust/esdk/src/types/_decrypt_input.rs (82:110) duplicated block id: 157 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (63:91) - releases/rust/esdk/src/types/_encrypt_output.rs (63:91) duplicated block id: 158 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (80:108) - releases/rust/esdk/src/types/_encrypt_output.rs (63:91) duplicated block id: 159 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (82:110) - releases/rust/esdk/src/types/_encrypt_input.rs (108:136) duplicated block id: 160 size: 26 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (197:233) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (203:239) duplicated block id: 161 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (63:91) - releases/rust/esdk/src/types/_decrypt_output.rs (63:91) duplicated block id: 162 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (82:110) - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (91:119) duplicated block id: 163 size: 26 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (197:233) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (203:239) duplicated block id: 164 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (80:108) - releases/rust/esdk/src/types/_encrypt_output.rs (63:91) duplicated block id: 165 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (82:110) - releases/rust/esdk/src/types/_decrypt_output.rs (91:119) duplicated block id: 166 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (108:136) - releases/rust/esdk/src/types/_decrypt_input.rs (82:110) duplicated block id: 167 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (63:91) - releases/rust/esdk/src/types/_encrypt_output.rs (63:91) duplicated block id: 168 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (82:110) - releases/rust/esdk/src/types/_encrypt_input.rs (108:136) duplicated block id: 169 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (63:91) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (63:91) duplicated block id: 170 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (63:91) - releases/rust/esdk/src/types/_encrypt_input.rs (80:108) duplicated block id: 171 size: 26 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (81:109) - releases/rust/esdk/src/operation/encrypt/builders.rs (89:117) duplicated block id: 172 size: 25 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (108:134) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (111:137) duplicated block id: 173 size: 25 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (111:137) - releases/rust/esdk/src/types/_decrypt_output.rs (91:117) duplicated block id: 174 size: 25 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/rust/Cargo.toml (1:27) - releases/rust/esdk/Cargo.toml (1:27) duplicated block id: 175 size: 25 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (108:134) - releases/rust/esdk/src/types/_encrypt_output.rs (111:137) duplicated block id: 176 size: 25 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (91:117) - releases/rust/esdk/src/types/_encrypt_output.rs (111:137) duplicated block id: 177 size: 25 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (108:134) - releases/rust/esdk/src/types/_encrypt_output.rs (111:137) duplicated block id: 178 size: 25 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (111:137) - releases/rust/esdk/src/types/_encrypt_input.rs (108:134) duplicated block id: 179 size: 25 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (91:117) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (111:137) duplicated block id: 180 size: 25 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (91:117) - releases/rust/esdk/src/types/_encrypt_output.rs (111:137) duplicated block id: 181 size: 24 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (143:166) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (207:230) duplicated block id: 182 size: 23 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (42:67) - releases/rust/esdk/src/conversions/decrypt_input.rs (73:98) duplicated block id: 183 size: 23 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (120:142) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (230:252) duplicated block id: 184 size: 22 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (11:32) - releases/rust/esdk/src/conversions/decrypt_input.rs (18:39) duplicated block id: 185 size: 21 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go (13:42) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go (13:42) duplicated block id: 186 size: 20 cleaned lines of code in 2 files: - cfn/CI.yaml (38:57) - cfn/CI.yaml (122:141) duplicated block id: 187 size: 20 cleaned lines of code in 2 files: - cfn/CI.yaml (38:57) - cfn/CI.yaml (80:99) duplicated block id: 188 size: 19 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/rust/src/lib.rs (115:133) - TestVectors/runtimes/rust/src/main.rs (49:67) duplicated block id: 189 size: 19 cleaned lines of code in 2 files: - TestVectors/runtimes/rust/src/main.rs (49:67) - releases/rust/esdk/src/lib.rs (115:133) duplicated block id: 190 size: 18 cleaned lines of code in 2 files: - releases/rust/esdk/src/ddb.rs (26:43) - releases/rust/esdk/src/kms.rs (21:40) duplicated block id: 191 size: 18 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py (30:47) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py (68:85) duplicated block id: 192 size: 16 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (207:229) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:335) duplicated block id: 193 size: 16 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/rust/Cargo.toml (18:33) - TestVectors/runtimes/rust/Cargo.toml (16:31) duplicated block id: 194 size: 16 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (207:229) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:335) duplicated block id: 195 size: 16 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:335) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (207:229) duplicated block id: 196 size: 16 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (182:200) - releases/rust/esdk/src/validation.rs (400:418) duplicated block id: 197 size: 16 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (207:229) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:335) duplicated block id: 198 size: 15 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (299:319) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:310) duplicated block id: 199 size: 15 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (20:36) - releases/rust/esdk/src/types/_encrypt_input.rs (22:38) duplicated block id: 200 size: 15 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (22:38) - releases/rust/esdk/src/types/_decrypt_output.rs (20:36) duplicated block id: 201 size: 15 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (20:36) - releases/rust/esdk/src/types/_encrypt_input.rs (22:38) duplicated block id: 202 size: 15 cleaned lines of code in 2 files: - releases/rust/esdk/src/ecdh.rs (158:176) - releases/rust/esdk/src/ecdh.rs (215:233) duplicated block id: 203 size: 15 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:213) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (189:209) duplicated block id: 204 size: 15 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (132:156) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (133:157) duplicated block id: 205 size: 15 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (162:179) - releases/rust/esdk/src/validation.rs (362:379) duplicated block id: 206 size: 15 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (20:36) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (22:38) duplicated block id: 207 size: 15 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (299:319) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:310) duplicated block id: 208 size: 15 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:213) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (189:209) duplicated block id: 209 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) duplicated block id: 210 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 211 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (203:221) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (304:322) duplicated block id: 212 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 213 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 214 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) duplicated block id: 215 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (247:274) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 216 size: 14 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (119:136) - releases/rust/esdk/src/types/_encrypt_input.rs (198:215) duplicated block id: 217 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) duplicated block id: 218 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 219 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 220 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/Frames/Frames.go (247:274) duplicated block id: 221 size: 14 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/rust/src/lib.rs (94:107) - TestVectors/runtimes/rust/src/main.rs (33:46) duplicated block id: 222 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) duplicated block id: 223 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) duplicated block id: 224 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 225 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) duplicated block id: 226 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 227 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (247:274) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 228 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) duplicated block id: 229 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 230 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 231 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 232 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 233 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (247:274) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 234 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 235 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/Header/Header.go (245:272) duplicated block id: 236 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 237 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) duplicated block id: 238 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 239 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) duplicated block id: 240 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) duplicated block id: 241 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 242 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 243 size: 14 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java (136:150) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java (197:212) duplicated block id: 244 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) duplicated block id: 245 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (245:272) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 246 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) duplicated block id: 247 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) duplicated block id: 248 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 249 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) duplicated block id: 250 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 251 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 252 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/Frames/Frames.go (247:274) duplicated block id: 253 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 254 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 255 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 256 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 257 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 258 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 259 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) duplicated block id: 260 size: 14 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (27:40) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (139:152) duplicated block id: 261 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 262 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 263 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/Frames/Frames.go (247:274) duplicated block id: 264 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (245:272) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 265 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 266 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/Header/Header.go (245:272) duplicated block id: 267 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 268 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 269 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (245:272) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 270 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 271 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) duplicated block id: 272 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 273 size: 14 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (198:215) - releases/rust/esdk/src/types/_decrypt_output.rs (119:136) duplicated block id: 274 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (247:274) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) duplicated block id: 275 size: 14 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (119:136) - releases/rust/esdk/src/types/_encrypt_input.rs (198:215) duplicated block id: 276 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) duplicated block id: 277 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/Header/Header.go (245:272) duplicated block id: 278 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (247:274) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) duplicated block id: 279 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 280 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (245:272) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 281 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/Frames/Frames.go (247:274) duplicated block id: 282 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (245:272) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 283 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/Header/Header.go (245:272) duplicated block id: 284 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 285 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (245:272) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) duplicated block id: 286 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 287 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/Header/Header.go (245:272) duplicated block id: 288 size: 14 cleaned lines of code in 2 files: - TestVectors/runtimes/rust/src/main.rs (33:46) - releases/rust/esdk/src/lib.rs (94:107) duplicated block id: 289 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (247:274) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 290 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 291 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 292 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (247:274) - releases/go/encryption-sdk/Header/Header.go (245:272) duplicated block id: 293 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 294 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 295 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 296 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 297 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/Frames/Frames.go (247:274) duplicated block id: 298 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 299 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 300 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) duplicated block id: 301 size: 14 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (222:235) - releases/rust/esdk/src/validation.rs (239:252) duplicated block id: 302 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/Frames/Frames.go (247:274) duplicated block id: 303 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/Header/Header.go (245:272) duplicated block id: 304 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 305 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go (243:270) duplicated block id: 306 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (225:252) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 307 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go (229:256) duplicated block id: 308 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (254:281) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 309 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 310 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 311 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) duplicated block id: 312 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (235:262) duplicated block id: 313 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 314 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 315 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (247:274) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 316 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 317 size: 14 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (119:136) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (198:215) duplicated block id: 318 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Header/Header.go (245:272) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (229:256) duplicated block id: 319 size: 14 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (182:195) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (285:298) duplicated block id: 320 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (256:283) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) duplicated block id: 321 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (238:265) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 322 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (257:284) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 323 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (251:278) - releases/go/encryption-sdk/MessageBody/MessageBody.go (250:277) duplicated block id: 324 size: 14 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (232:259) - releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go (233:260) duplicated block id: 325 size: 13 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptInput.java (103:121) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptInput.java (144:162) duplicated block id: 326 size: 13 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (307:319) - releases/go/encryption-sdk/Frames/Frames.go (418:430) duplicated block id: 327 size: 13 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (169:187) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (172:190) duplicated block id: 328 size: 13 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (203:218) - releases/rust/esdk/src/validation.rs (320:335) duplicated block id: 329 size: 13 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java (169:181) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java (234:246) duplicated block id: 330 size: 13 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (83:98) - releases/rust/esdk/src/validation.rs (382:397) duplicated block id: 331 size: 13 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (169:187) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (172:190) duplicated block id: 332 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py (18:29) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py (86:97) duplicated block id: 333 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (215:230) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (320:335) duplicated block id: 334 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (320:335) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (221:236) duplicated block id: 335 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (215:230) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (332:347) duplicated block id: 336 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (320:335) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (215:230) duplicated block id: 337 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (215:230) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (320:335) duplicated block id: 338 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (215:230) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (320:335) duplicated block id: 339 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (320:335) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (221:236) duplicated block id: 340 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (24:52) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (24:52) duplicated block id: 341 size: 12 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (215:230) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (332:347) duplicated block id: 342 size: 12 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (221:236) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (332:347) duplicated block id: 343 size: 11 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (239:252) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (301:314) duplicated block id: 344 size: 11 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (22:32) - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (12:22) duplicated block id: 345 size: 11 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (159:172) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (301:314) duplicated block id: 346 size: 11 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (159:172) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (190:203) duplicated block id: 347 size: 11 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (159:172) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (239:252) duplicated block id: 348 size: 11 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/DecryptOutput.cs (22:40) - AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/EncryptOutput.cs (22:40) duplicated block id: 349 size: 11 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (381:391) - releases/go/encryption-sdk/MessageBody/MessageBody.go (422:432) duplicated block id: 350 size: 11 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (29:39) - releases/rust/esdk/src/conversions/encrypt_input.rs (19:29) duplicated block id: 351 size: 11 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (22:32) - releases/rust/esdk/src/conversions/encrypt_input.rs (19:29) duplicated block id: 352 size: 11 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (62:99) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (62:99) duplicated block id: 353 size: 11 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (190:203) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (301:314) duplicated block id: 354 size: 11 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (190:203) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (239:252) duplicated block id: 355 size: 11 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_output.rs (59:72) - releases/rust/esdk/src/conversions/encrypt_output.rs (59:72) duplicated block id: 356 size: 11 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25) duplicated block id: 357 size: 11 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25) duplicated block id: 358 size: 11 cleaned lines of code in 2 files: - releases/rust/esdk/src/ddb.rs (4:16) - releases/rust/esdk/src/kms.rs (4:16) duplicated block id: 359 size: 11 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (29:39) - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (12:22) duplicated block id: 360 size: 11 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25) duplicated block id: 361 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (86:96) - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (49:59) duplicated block id: 362 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (43:54) - releases/rust/esdk/src/conversions/encrypt_input.rs (91:102) duplicated block id: 363 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) duplicated block id: 364 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/ddb.rs (58:67) - releases/rust/esdk/src/kms.rs (26:35) duplicated block id: 365 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/ddb.rs (58:67) - releases/rust/esdk/src/kms.rs (51:60) duplicated block id: 366 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptOutput.java (77:92) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptInput.java (126:141) duplicated block id: 367 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (14:35) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (20:41) duplicated block id: 368 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (83:98) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (132:147) duplicated block id: 369 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:161) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (143:157) duplicated block id: 370 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/ddb.rs (30:39) - releases/rust/esdk/src/kms.rs (51:60) duplicated block id: 371 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:184) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (166:180) duplicated block id: 372 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (83:98) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (133:148) duplicated block id: 373 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (109:124) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (132:147) duplicated block id: 374 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:233) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (212:225) duplicated block id: 375 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (74:85) - releases/rust/esdk/src/conversions/encrypt_input.rs (91:102) duplicated block id: 376 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (19:28) - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (23:32) duplicated block id: 377 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (48:59) - releases/rust/esdk/src/conversions/encrypt_output.rs (33:44) duplicated block id: 378 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (74:85) - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (60:71) duplicated block id: 379 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs (12:22) - releases/rust/esdk/src/conversions/encrypt/_encrypt_output.rs (12:22) duplicated block id: 380 size: 10 cleaned lines of code in 2 files: - TestVectors/runtimes/rust/Cargo.toml (16:25) - releases/rust/esdk/Cargo.toml (18:27) duplicated block id: 381 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_output.rs (33:44) - releases/rust/esdk/src/conversions/encrypt_output.rs (33:44) duplicated block id: 382 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) duplicated block id: 383 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:184) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (166:180) duplicated block id: 384 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (12:21) - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (23:32) duplicated block id: 385 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (83:98) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (109:124) duplicated block id: 386 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (48:59) - releases/rust/esdk/src/conversions/encrypt_input.rs (54:65) duplicated block id: 387 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptOutput.java (86:101) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptOutput.java (86:101) duplicated block id: 388 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (58:67) - releases/rust/esdk/src/validation.rs (71:80) duplicated block id: 389 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) duplicated block id: 390 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (30:40) - releases/rust/esdk/src/types/_encrypt_input.rs (42:52) duplicated block id: 391 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (42:52) - releases/rust/esdk/src/types/_decrypt_input.rs (30:40) duplicated block id: 392 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (55:65) - releases/rust/esdk/src/conversions/encrypt_input.rs (80:90) duplicated block id: 393 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (28:38) - releases/rust/esdk/src/types/_decrypt_input.rs (18:28) duplicated block id: 394 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (18:28) - releases/rust/esdk/src/types/_encrypt_output.rs (28:38) duplicated block id: 395 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) duplicated block id: 396 size: 10 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) duplicated block id: 397 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) duplicated block id: 398 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:161) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (143:157) duplicated block id: 399 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_output.rs (33:44) - releases/rust/esdk/src/conversions/encrypt_input.rs (54:65) duplicated block id: 400 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (48:59) - releases/rust/esdk/src/conversions/decrypt_output.rs (33:44) duplicated block id: 401 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (14:35) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (24:45) duplicated block id: 402 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/ddb.rs (30:39) - releases/rust/esdk/src/ddb.rs (58:67) duplicated block id: 403 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/encrypt_input.rs (54:65) - releases/rust/esdk/src/conversions/encrypt_output.rs (33:44) duplicated block id: 404 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) duplicated block id: 405 size: 10 cleaned lines of code in 2 files: - TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java (46:58) - TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java (167:179) duplicated block id: 406 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (43:54) - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (60:71) duplicated block id: 407 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (159:168) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (174:183) duplicated block id: 408 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (55:65) - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (49:59) duplicated block id: 409 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) duplicated block id: 410 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (109:124) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (133:148) duplicated block id: 411 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (19:28) - releases/rust/esdk/src/conversions/encrypt_input.rs (30:39) duplicated block id: 412 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/DecryptOutput.cs (13:29) - AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/EncryptInput.cs (16:32) duplicated block id: 413 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (18:28) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (28:38) duplicated block id: 414 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (20:41) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (24:45) duplicated block id: 415 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (18:28) - releases/rust/esdk/src/types/_encrypt_output.rs (28:38) duplicated block id: 416 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:233) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (212:225) duplicated block id: 417 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/kms.rs (26:35) - releases/rust/esdk/src/kms.rs (51:60) duplicated block id: 418 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (30:40) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (42:52) duplicated block id: 419 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_input.rs (86:96) - releases/rust/esdk/src/conversions/encrypt_input.rs (80:90) duplicated block id: 420 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (14:35) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (24:45) duplicated block id: 421 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/DecryptInput.cs (23:39) - AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/EncryptInput.cs (34:50) duplicated block id: 422 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (12:21) - releases/rust/esdk/src/conversions/encrypt_input.rs (30:39) duplicated block id: 423 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (20:41) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (24:45) duplicated block id: 424 size: 10 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30) duplicated block id: 425 size: 10 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (30:40) - releases/rust/esdk/src/types/_encrypt_input.rs (42:52) duplicated block id: 426 size: 10 cleaned lines of code in 2 files: - cfn/CI.yaml (147:156) - cfn/CI.yaml (164:173) duplicated block id: 427 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 428 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) duplicated block id: 429 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) duplicated block id: 430 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) duplicated block id: 431 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) duplicated block id: 432 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) duplicated block id: 433 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 434 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) duplicated block id: 435 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (396:405) - releases/go/encryption-sdk/MessageBody/MessageBody.go (437:446) duplicated block id: 436 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (346:354) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (359:367) duplicated block id: 437 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) duplicated block id: 438 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (51:78) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (62:89) duplicated block id: 439 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15) duplicated block id: 440 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350) duplicated block id: 441 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259) duplicated block id: 442 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 443 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) duplicated block id: 444 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptOutput.java (37:52) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptInput.java (62:77) duplicated block id: 445 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15) duplicated block id: 446 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) duplicated block id: 447 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383) duplicated block id: 448 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) duplicated block id: 449 size: 9 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (339:347) - releases/rust/esdk/src/validation.rs (351:359) duplicated block id: 450 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) duplicated block id: 451 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) duplicated block id: 452 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) duplicated block id: 453 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 454 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) duplicated block id: 455 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 456 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 457 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptOutput.java (29:45) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptOutput.java (29:45) duplicated block id: 458 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) duplicated block id: 459 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) duplicated block id: 460 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 461 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) duplicated block id: 462 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) duplicated block id: 463 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) duplicated block id: 464 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) duplicated block id: 465 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) duplicated block id: 466 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 467 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 468 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) duplicated block id: 469 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) duplicated block id: 470 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259) duplicated block id: 471 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) duplicated block id: 472 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 473 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) duplicated block id: 474 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 475 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 476 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) duplicated block id: 477 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) duplicated block id: 478 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) duplicated block id: 479 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) duplicated block id: 480 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259) duplicated block id: 481 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) duplicated block id: 482 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) duplicated block id: 483 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) duplicated block id: 484 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 485 size: 9 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/encrypt/_encrypt_output.rs (27:35) - releases/rust/esdk/src/conversions/encrypt_output.rs (58:66) duplicated block id: 486 size: 9 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (101:111) - releases/rust/esdk/src/validation.rs (267:277) duplicated block id: 487 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptOutput.java (108:118) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptOutput.java (108:118) duplicated block id: 488 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350) duplicated block id: 489 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383) duplicated block id: 490 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) duplicated block id: 491 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (51:78) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (62:89) duplicated block id: 492 size: 9 cleaned lines of code in 2 files: - TestVectors/runtimes/net/Generated/TestVectors/AwsEncryptionSdkShim.cs (61:69) - TestVectors/runtimes/net/Generated/TestVectors/TypeConversion.cs (453:461) duplicated block id: 493 size: 9 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs (27:35) - releases/rust/esdk/src/conversions/decrypt_output.rs (58:66) duplicated block id: 494 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) duplicated block id: 495 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) duplicated block id: 496 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) duplicated block id: 497 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) duplicated block id: 498 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs (465:473) - TestVectors/runtimes/net/Generated/TestVectors/AwsEncryptionSdkShim.cs (61:69) duplicated block id: 499 size: 9 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (44:57) - releases/rust/esdk/src/operation/encrypt/builders.rs (44:57) duplicated block id: 500 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 501 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 502 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383) duplicated block id: 503 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) duplicated block id: 504 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) duplicated block id: 505 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) duplicated block id: 506 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) duplicated block id: 507 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 508 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) duplicated block id: 509 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) duplicated block id: 510 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) duplicated block id: 511 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) duplicated block id: 512 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 513 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) duplicated block id: 514 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (38:65) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java (51:78) duplicated block id: 515 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (38:65) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (62:89) duplicated block id: 516 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) duplicated block id: 517 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 518 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) duplicated block id: 519 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) duplicated block id: 520 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 521 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) duplicated block id: 522 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 523 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350) duplicated block id: 524 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) duplicated block id: 525 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383) duplicated block id: 526 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 527 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350) duplicated block id: 528 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383) duplicated block id: 529 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) duplicated block id: 530 size: 9 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (114:124) - releases/rust/esdk/src/validation.rs (296:306) duplicated block id: 531 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) duplicated block id: 532 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java (38:65) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (62:89) duplicated block id: 533 size: 9 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (139:147) - releases/rust/esdk/src/validation.rs (151:159) duplicated block id: 534 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383) duplicated block id: 535 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 536 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 537 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328) duplicated block id: 538 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (187:197) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) duplicated block id: 539 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (233:243) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) duplicated block id: 540 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259) duplicated block id: 541 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186) duplicated block id: 542 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) duplicated block id: 543 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) duplicated block id: 544 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364) duplicated block id: 545 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (292:302) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (159:169) duplicated block id: 546 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217) duplicated block id: 547 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) duplicated block id: 548 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 549 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15) duplicated block id: 550 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316) duplicated block id: 551 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350) duplicated block id: 552 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211) duplicated block id: 553 size: 9 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257) duplicated block id: 554 size: 9 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (378:386) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (420:428) duplicated block id: 555 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) duplicated block id: 556 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 557 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (88:96) - releases/rust/esdk/src/operation/encrypt/builders.rs (69:77) duplicated block id: 558 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 559 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java (149:157) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java (191:198) duplicated block id: 560 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/error.rs (117:126) - releases/rust/esdk/src/conversions/error.rs (134:143) duplicated block id: 561 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (225:234) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (281:290) duplicated block id: 562 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (117:125) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (158:166) duplicated block id: 563 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (383:390) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) duplicated block id: 564 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (20:28) - releases/rust/esdk/src/types/_encrypt_output.rs (20:28) duplicated block id: 565 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (22:30) - releases/rust/esdk/src/types/_encrypt_output.rs (20:28) duplicated block id: 566 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (322:329) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282) duplicated block id: 567 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (383:390) duplicated block id: 568 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (139:147) - releases/rust/esdk/src/types/_encrypt_input.rs (158:166) duplicated block id: 569 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (89:97) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (119:127) duplicated block id: 570 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (217:224) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282) duplicated block id: 571 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (89:97) - releases/rust/esdk/src/types/_encrypt_input.rs (116:124) duplicated block id: 572 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (89:97) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (116:124) duplicated block id: 573 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (22:30) - releases/rust/esdk/src/types/_decrypt_output.rs (28:36) duplicated block id: 574 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 575 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/client.py (83:90) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/client.py (103:110) duplicated block id: 576 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (22:30) - releases/rust/esdk/src/types/_encrypt_input.rs (30:38) duplicated block id: 577 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs (28:35) - releases/rust/esdk/src/conversions/encrypt/_encrypt_output.rs (28:35) duplicated block id: 578 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) duplicated block id: 579 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:229) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:322) duplicated block id: 580 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (157:166) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (225:234) duplicated block id: 581 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (157:166) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (180:189) duplicated block id: 582 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (157:166) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (281:290) duplicated block id: 583 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (69:77) - releases/rust/esdk/src/types/_encrypt_input.rs (88:96) duplicated block id: 584 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (89:97) - releases/rust/esdk/src/types/_decrypt_input.rs (90:98) duplicated block id: 585 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (69:77) - releases/rust/esdk/src/types/_decrypt_output.rs (71:79) duplicated block id: 586 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (20:28) - releases/rust/esdk/src/types/_encrypt_input.rs (22:30) duplicated block id: 587 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/digest.rs (17:24) - releases/rust/esdk/src/random.rs (15:22) duplicated block id: 588 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (99:107) - releases/rust/esdk/src/operation/encrypt/builders.rs (97:105) duplicated block id: 589 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (89:97) - releases/rust/esdk/src/types/_decrypt_output.rs (99:107) duplicated block id: 590 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs (28:35) - releases/rust/esdk/src/conversions/encrypt_output.rs (59:66) duplicated block id: 591 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:335) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (212:221) duplicated block id: 592 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (89:97) - releases/rust/esdk/src/types/_encrypt_output.rs (119:127) duplicated block id: 593 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (322:329) duplicated block id: 594 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (223:230) duplicated block id: 595 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) duplicated block id: 596 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 597 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/digest.rs (17:24) - releases/rust/esdk/src/hmac.rs (27:34) duplicated block id: 598 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (22:30) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (30:38) duplicated block id: 599 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (22:30) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (20:28) duplicated block id: 600 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (90:98) - releases/rust/esdk/src/operation/decrypt/builders.rs (89:97) duplicated block id: 601 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) duplicated block id: 602 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 603 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) duplicated block id: 604 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) duplicated block id: 605 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 606 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) duplicated block id: 607 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (28:36) - releases/rust/esdk/src/types/_decrypt_input.rs (22:30) duplicated block id: 608 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) duplicated block id: 609 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) duplicated block id: 610 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 611 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (334:341) duplicated block id: 612 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) duplicated block id: 613 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (118:126) - releases/rust/esdk/src/operation/encrypt/builders.rs (139:147) duplicated block id: 614 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_output.rs (59:66) - releases/rust/esdk/src/conversions/encrypt/_encrypt_output.rs (28:35) duplicated block id: 615 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (158:166) - releases/rust/esdk/src/operation/encrypt/builders.rs (139:147) duplicated block id: 616 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 617 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (383:390) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) duplicated block id: 618 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/ecdh.rs (85:94) - releases/rust/esdk/src/ecdh.rs (332:341) duplicated block id: 619 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (71:79) - releases/rust/esdk/src/operation/encrypt/builders.rs (69:77) duplicated block id: 620 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) duplicated block id: 621 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (69:77) - releases/rust/esdk/src/types/_encrypt_output.rs (71:79) duplicated block id: 622 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (97:105) - releases/rust/esdk/src/types/_decrypt_input.rs (90:98) duplicated block id: 623 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (97:105) - releases/rust/esdk/src/types/_encrypt_output.rs (119:127) duplicated block id: 624 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (20:28) - releases/rust/esdk/src/types/_encrypt_output.rs (20:28) duplicated block id: 625 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (217:224) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) duplicated block id: 626 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (322:329) duplicated block id: 627 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (180:189) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (281:290) duplicated block id: 628 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (161:170) duplicated block id: 629 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (180:189) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (225:234) duplicated block id: 630 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:335) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (212:221) duplicated block id: 631 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (22:30) - releases/rust/esdk/src/types/_decrypt_output.rs (28:36) duplicated block id: 632 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (116:124) - releases/rust/esdk/src/operation/encrypt/builders.rs (97:105) duplicated block id: 633 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (395:402) duplicated block id: 634 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (383:390) duplicated block id: 635 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (217:224) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282) duplicated block id: 636 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (395:402) duplicated block id: 637 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_output.rs (19:29) - releases/rust/esdk/src/conversions/encrypt_output.rs (19:29) duplicated block id: 638 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (118:126) - releases/rust/esdk/src/operation/decrypt/builders.rs (117:125) duplicated block id: 639 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (22:30) - releases/rust/esdk/src/types/_encrypt_input.rs (30:38) duplicated block id: 640 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (20:28) - releases/rust/esdk/src/types/_decrypt_output.rs (20:28) duplicated block id: 641 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (20:28) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (20:28) duplicated block id: 642 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (97:105) - releases/rust/esdk/src/types/_encrypt_input.rs (116:124) duplicated block id: 643 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (223:230) duplicated block id: 644 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (383:390) duplicated block id: 645 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (117:125) - releases/rust/esdk/src/types/_decrypt_input.rs (118:126) duplicated block id: 646 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) duplicated block id: 647 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (233:242) duplicated block id: 648 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (97:105) - releases/rust/esdk/src/types/_decrypt_output.rs (99:107) duplicated block id: 649 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) duplicated block id: 650 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (184:193) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:299) duplicated block id: 651 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (322:329) duplicated block id: 652 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (223:230) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282) duplicated block id: 653 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py (104:111) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py (117:124) duplicated block id: 654 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:229) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:322) duplicated block id: 655 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (334:341) duplicated block id: 656 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/hmac.rs (27:34) - releases/rust/esdk/src/random.rs (15:22) duplicated block id: 657 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (99:107) - releases/rust/esdk/src/operation/decrypt/builders.rs (89:97) duplicated block id: 658 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (217:224) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) duplicated block id: 659 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (22:30) - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (28:36) duplicated block id: 660 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (71:79) - releases/rust/esdk/src/operation/encrypt/builders.rs (69:77) duplicated block id: 661 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (117:125) - releases/rust/esdk/src/types/_encrypt_input.rs (158:166) duplicated block id: 662 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (90:98) - releases/rust/esdk/src/operation/encrypt/builders.rs (97:105) duplicated block id: 663 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (22:30) - releases/rust/esdk/src/types/_encrypt_output.rs (20:28) duplicated block id: 664 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (395:402) duplicated block id: 665 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (383:390) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148) duplicated block id: 666 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (322:329) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282) duplicated block id: 667 size: 8 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (334:341) duplicated block id: 668 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (217:224) duplicated block id: 669 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (119:127) - releases/rust/esdk/src/operation/encrypt/builders.rs (97:105) duplicated block id: 670 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (322:329) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) duplicated block id: 671 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (30:38) - releases/rust/esdk/src/types/_decrypt_input.rs (22:30) duplicated block id: 672 size: 8 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (217:224) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273) duplicated block id: 673 size: 8 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (139:147) - releases/rust/esdk/src/types/_decrypt_input.rs (118:126) duplicated block id: 674 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs (50:57) - AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs (94:101) duplicated block id: 675 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/MessageBody/MessageBody.go (373:379) - releases/go/encryption-sdk/MessageBody/MessageBody.go (414:420) duplicated block id: 676 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (61:67) - releases/rust/esdk/src/types/_decrypt_output.rs (63:69) duplicated block id: 677 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (282:289) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (368:375) duplicated block id: 678 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (150:156) - releases/rust/esdk/src/operation/encrypt/builders.rs (131:137) duplicated block id: 679 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (28:34) - releases/rust/esdk/src/types/_encrypt_output.rs (32:38) duplicated block id: 680 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs (11:17) - releases/rust/esdk/src/conversions/decrypt_output.rs (18:24) duplicated block id: 681 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (965:979) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (967:981) duplicated block id: 682 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (99:106) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (129:136) duplicated block id: 683 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (32:38) - releases/rust/esdk/src/types/_decrypt_output.rs (28:34) duplicated block id: 684 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (89:95) - releases/rust/esdk/src/types/_encrypt_input.rs (108:114) duplicated block id: 685 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (89:95) - releases/rust/esdk/src/types/_decrypt_output.rs (91:97) duplicated block id: 686 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (107:114) - releases/rust/esdk/src/types/_decrypt_input.rs (100:107) duplicated block id: 687 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (140:148) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (380:388) duplicated block id: 688 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (22:29) - releases/rust/esdk/src/types/_encrypt_input.rs (102:109) duplicated block id: 689 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (81:87) - releases/rust/esdk/src/types/_encrypt_output.rs (111:117) duplicated block id: 690 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (99:106) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (126:133) duplicated block id: 691 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (104:111) - releases/rust/esdk/src/types/_decrypt_input.rs (24:31) duplicated block id: 692 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (109:115) - releases/rust/esdk/src/types/_encrypt_input.rs (150:156) duplicated block id: 693 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (109:115) - releases/rust/esdk/src/types/_decrypt_input.rs (110:116) duplicated block id: 694 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (126:133) - releases/rust/esdk/src/operation/encrypt/builders.rs (107:114) duplicated block id: 695 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (282:289) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (380:387) duplicated block id: 696 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (368:375) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (291:298) duplicated block id: 697 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) duplicated block id: 698 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (24:31) - releases/rust/esdk/src/types/_decrypt_output.rs (85:92) duplicated block id: 699 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (282:289) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (368:375) duplicated block id: 700 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (63:69) - releases/rust/esdk/src/operation/encrypt/builders.rs (61:67) duplicated block id: 701 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (127:134) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (168:175) duplicated block id: 702 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (110:116) - releases/rust/esdk/src/operation/encrypt/builders.rs (131:137) duplicated block id: 703 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (82:88) - releases/rust/esdk/src/operation/decrypt/builders.rs (81:87) duplicated block id: 704 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (30:36) - releases/rust/esdk/src/types/_encrypt_output.rs (32:38) duplicated block id: 705 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (24:31) - releases/rust/esdk/src/types/_decrypt_input.rs (104:111) duplicated block id: 706 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (79:86) - releases/rust/esdk/src/types/_encrypt_output.rs (81:88) duplicated block id: 707 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (32:38) - releases/rust/esdk/src/types/_encrypt_input.rs (30:36) duplicated block id: 708 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (149:156) - releases/rust/esdk/src/types/_decrypt_input.rs (128:135) duplicated block id: 709 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (81:87) - releases/rust/esdk/src/types/_decrypt_output.rs (91:97) duplicated block id: 710 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (22:29) - releases/rust/esdk/src/types/_decrypt_output.rs (85:92) duplicated block id: 711 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (282:289) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (368:375) duplicated block id: 712 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (102:109) - releases/rust/esdk/src/types/_decrypt_output.rs (22:29) duplicated block id: 713 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) duplicated block id: 714 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (394:403) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (140:148) duplicated block id: 715 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (99:106) - releases/rust/esdk/src/types/_encrypt_output.rs (129:136) duplicated block id: 716 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (24:31) - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (104:111) duplicated block id: 717 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (81:88) - releases/rust/esdk/src/operation/encrypt/builders.rs (79:86) duplicated block id: 718 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (85:92) - releases/rust/esdk/src/types/_encrypt_input.rs (24:31) duplicated block id: 719 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (128:135) - releases/rust/esdk/src/operation/decrypt/builders.rs (127:134) duplicated block id: 720 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (24:31) - releases/rust/esdk/src/types/_encrypt_input.rs (102:109) duplicated block id: 721 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) duplicated block id: 722 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (91:97) - releases/rust/esdk/src/operation/encrypt/builders.rs (89:95) duplicated block id: 723 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (85:92) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (24:31) duplicated block id: 724 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptInput.java (47:58) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptOutput.java (37:48) duplicated block id: 725 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (22:29) - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (85:92) duplicated block id: 726 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (89:95) - releases/rust/esdk/src/types/_decrypt_input.rs (82:88) duplicated block id: 727 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (85:92) - releases/rust/esdk/src/types/_decrypt_output.rs (22:29) duplicated block id: 728 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (99:106) - releases/rust/esdk/src/types/_encrypt_input.rs (126:133) duplicated block id: 729 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (100:107) - releases/rust/esdk/src/operation/encrypt/builders.rs (107:114) duplicated block id: 730 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (99:106) - releases/rust/esdk/src/types/_decrypt_output.rs (109:116) duplicated block id: 731 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (109:116) - releases/rust/esdk/src/operation/decrypt/builders.rs (99:106) duplicated block id: 732 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (100:107) - releases/rust/esdk/src/operation/decrypt/builders.rs (99:106) duplicated block id: 733 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (99:106) - releases/rust/esdk/src/types/_decrypt_input.rs (100:107) duplicated block id: 734 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (1054:1068) - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (965:979) duplicated block id: 735 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (127:135) - releases/rust/esdk/src/validation.rs (309:317) duplicated block id: 736 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (107:114) - releases/rust/esdk/src/types/_encrypt_output.rs (129:136) duplicated block id: 737 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (81:87) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (111:117) duplicated block id: 738 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (149:156) - releases/rust/esdk/src/types/_encrypt_input.rs (168:175) duplicated block id: 739 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) duplicated block id: 740 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (282:289) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (380:387) duplicated block id: 741 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (82:88) - releases/rust/esdk/src/operation/encrypt/builders.rs (89:95) duplicated block id: 742 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (109:115) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (150:156) duplicated block id: 743 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (168:175) - releases/rust/esdk/src/operation/encrypt/builders.rs (149:156) duplicated block id: 744 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (127:134) - releases/rust/esdk/src/types/_encrypt_input.rs (168:175) duplicated block id: 745 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (128:135) - releases/rust/esdk/src/operation/encrypt/builders.rs (149:156) duplicated block id: 746 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/encrypt/_encrypt_output.rs (11:17) - releases/rust/esdk/src/conversions/encrypt_output.rs (18:24) duplicated block id: 747 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) duplicated block id: 748 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (129:136) - releases/rust/esdk/src/operation/encrypt/builders.rs (107:114) duplicated block id: 749 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (81:87) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (108:114) duplicated block id: 750 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (24:31) - releases/rust/esdk/src/types/_decrypt_input.rs (104:111) duplicated block id: 751 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (79:86) - releases/rust/esdk/src/types/_encrypt_input.rs (98:105) duplicated block id: 752 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (63:69) - releases/rust/esdk/src/operation/encrypt/builders.rs (61:67) duplicated block id: 753 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (24:31) - releases/rust/esdk/src/types/_encrypt_input.rs (102:109) duplicated block id: 754 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (131:137) - releases/rust/esdk/src/types/_decrypt_input.rs (110:116) duplicated block id: 755 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (296:302) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (327:333) duplicated block id: 756 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) duplicated block id: 757 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (30:36) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (32:38) duplicated block id: 758 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:264) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (310:318) duplicated block id: 759 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (264:273) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (209:217) duplicated block id: 760 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (127:134) - releases/rust/esdk/src/types/_decrypt_input.rs (128:135) duplicated block id: 761 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (109:116) - releases/rust/esdk/src/operation/encrypt/builders.rs (107:114) duplicated block id: 762 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (209:217) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:264) duplicated block id: 763 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (98:105) - releases/rust/esdk/src/operation/encrypt/builders.rs (79:86) duplicated block id: 764 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (111:117) - releases/rust/esdk/src/operation/encrypt/builders.rs (89:95) duplicated block id: 765 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (264:273) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (310:318) duplicated block id: 766 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (107:114) - releases/rust/esdk/src/types/_decrypt_output.rs (109:116) duplicated block id: 767 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (394:403) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (140:148) duplicated block id: 768 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) duplicated block id: 769 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (28:34) - releases/rust/esdk/src/types/_encrypt_output.rs (32:38) duplicated block id: 770 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/kms.rs (41:49) - releases/rust/esdk/src/kms.rs (62:70) duplicated block id: 771 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) duplicated block id: 772 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/rust/Cargo.toml (29:36) - releases/rust/esdk/Cargo.toml (29:36) duplicated block id: 773 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (89:95) - releases/rust/esdk/src/types/_encrypt_output.rs (111:117) duplicated block id: 774 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (61:67) - releases/rust/esdk/src/types/_encrypt_output.rs (63:69) duplicated block id: 775 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (22:29) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (102:109) duplicated block id: 776 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (368:375) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (282:289) duplicated block id: 777 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (79:86) - releases/rust/esdk/src/types/_decrypt_output.rs (81:88) duplicated block id: 778 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (81:87) - releases/rust/esdk/src/types/_decrypt_input.rs (82:88) duplicated block id: 779 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (1054:1068) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (967:981) duplicated block id: 780 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (220:226) - releases/rust/esdk/src/types/_encrypt_input.rs (220:226) duplicated block id: 781 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (375:381) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (397:403) duplicated block id: 782 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (91:97) - releases/rust/esdk/src/operation/decrypt/builders.rs (81:87) duplicated block id: 783 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (368:375) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (291:298) duplicated block id: 784 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/pyproject.toml (22:29) - TestVectors/runtimes/python/pyproject.toml (8:15) duplicated block id: 785 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/standard_library_conversions.rs (75:81) - releases/rust/esdk/src/standard_library_conversions.rs (98:104) duplicated block id: 786 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (80:86) - releases/rust/esdk/src/operation/encrypt/builders.rs (61:67) duplicated block id: 787 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (107:114) - releases/rust/esdk/src/types/_encrypt_input.rs (126:133) duplicated block id: 788 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (110:116) - releases/rust/esdk/src/operation/decrypt/builders.rs (109:115) duplicated block id: 789 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (61:67) - releases/rust/esdk/src/types/_encrypt_input.rs (80:86) duplicated block id: 790 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (291:298) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (380:387) duplicated block id: 791 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (30:36) - releases/rust/esdk/src/types/_encrypt_output.rs (32:38) duplicated block id: 792 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (102:109) - releases/rust/esdk/src/types/_encrypt_input.rs (24:31) duplicated block id: 793 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (81:88) - releases/rust/esdk/src/operation/encrypt/builders.rs (79:86) duplicated block id: 794 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59) duplicated block id: 795 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (24:31) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (102:109) duplicated block id: 796 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/standard_library_conversions.rs (52:58) - releases/rust/esdk/src/standard_library_conversions.rs (75:81) duplicated block id: 797 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (353:359) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (375:381) duplicated block id: 798 size: 7 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (353:359) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (397:403) duplicated block id: 799 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (108:114) - releases/rust/esdk/src/operation/encrypt/builders.rs (89:95) duplicated block id: 800 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (81:87) - releases/rust/esdk/src/types/_encrypt_input.rs (108:114) duplicated block id: 801 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/standard_library_conversions.rs (52:58) - releases/rust/esdk/src/standard_library_conversions.rs (98:104) duplicated block id: 802 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (264:273) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (209:217) duplicated block id: 803 size: 7 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (264:273) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (310:318) duplicated block id: 804 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (22:29) - releases/rust/esdk/src/types/_decrypt_output.rs (85:92) duplicated block id: 805 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (22:29) - releases/rust/esdk/src/types/_encrypt_input.rs (102:109) duplicated block id: 806 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (85:92) - releases/rust/esdk/src/types/_encrypt_input.rs (24:31) duplicated block id: 807 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (131:137) - releases/rust/esdk/src/types/_encrypt_input.rs (150:156) duplicated block id: 808 size: 7 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (28:34) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (32:38) duplicated block id: 809 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (102:108) - releases/rust/esdk/src/types/_encrypt_output.rs (22:28) duplicated block id: 810 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (104:110) - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (30:36) duplicated block id: 811 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/aws_encryption_sdk_config.rs (20:26) - releases/rust/esdk/src/types/aws_encryption_sdk_config.rs (79:85) duplicated block id: 812 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (328:333) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (372:377) duplicated block id: 813 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (24:30) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (85:91) duplicated block id: 814 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (347:352) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (372:377) duplicated block id: 815 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (328:333) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (421:426) duplicated block id: 816 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (102:108) - releases/rust/esdk/src/types/_encrypt_output.rs (22:28) duplicated block id: 817 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (347:352) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (421:426) duplicated block id: 818 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 819 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (347:352) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (328:333) duplicated block id: 820 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (421:426) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (375:380) duplicated block id: 821 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) duplicated block id: 822 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 823 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (67:73) - releases/rust/esdk/src/types/_encrypt_output.rs (97:103) duplicated block id: 824 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (184:190) - releases/rust/esdk/src/operation/encrypt/builders.rs (165:171) duplicated block id: 825 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (24:30) - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (113:119) duplicated block id: 826 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (207:213) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (304:310) duplicated block id: 827 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java (53:58) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java (66:71) duplicated block id: 828 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (327:335) - releases/rust/esdk/src/validation.rs (389:397) duplicated block id: 829 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (54:59) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (73:78) duplicated block id: 830 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (327:335) - releases/rust/esdk/src/validation.rs (371:379) duplicated block id: 831 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (24:30) - releases/rust/esdk/src/types/_decrypt_output.rs (113:119) duplicated block id: 832 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (85:91) - releases/rust/esdk/src/types/_decrypt_output.rs (22:28) duplicated block id: 833 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt_output.rs (19:24) - releases/rust/esdk/src/conversions/encrypt/_encrypt_output.rs (12:17) duplicated block id: 834 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs (39:45) - releases/rust/esdk/src/conversions/encrypt_input.rs (60:67) duplicated block id: 835 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 836 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 837 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (197:203) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (303:309) duplicated block id: 838 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:199) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (294:300) duplicated block id: 839 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (197:203) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (294:300) duplicated block id: 840 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 841 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (297:302) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (372:377) duplicated block id: 842 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (297:302) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (421:426) duplicated block id: 843 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py (148:156) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py (338:346) duplicated block id: 844 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (32:38) - releases/rust/esdk/src/types/_encrypt_input.rs (172:178) duplicated block id: 845 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (380:385) - releases/go/encryption-sdk/MessageBody/MessageBody.go (437:442) duplicated block id: 846 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (32:38) - releases/rust/esdk/src/types/_decrypt_input.rs (132:138) duplicated block id: 847 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (32:38) - releases/rust/esdk/src/types/_decrypt_input.rs (104:110) duplicated block id: 848 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (380:385) - releases/go/encryption-sdk/MessageBody/MessageBody.go (396:401) duplicated block id: 849 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (67:73) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (97:103) duplicated block id: 850 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (113:119) - releases/rust/esdk/src/types/_encrypt_input.rs (32:38) duplicated block id: 851 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (32:38) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (130:136) duplicated block id: 852 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (30:36) - releases/rust/esdk/src/types/_decrypt_input.rs (104:110) duplicated block id: 853 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (246:252) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:176) duplicated block id: 854 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:225) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (259:264) duplicated block id: 855 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (22:28) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (85:91) duplicated block id: 856 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (85:91) - releases/rust/esdk/src/types/_encrypt_output.rs (22:28) duplicated block id: 857 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 858 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (30:36) - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (113:119) duplicated block id: 859 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (22:28) - releases/rust/esdk/src/types/_decrypt_output.rs (85:91) duplicated block id: 860 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (32:38) - releases/rust/esdk/src/types/_decrypt_output.rs (113:119) duplicated block id: 861 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (44:50) - releases/rust/esdk/src/types/_encrypt_input.rs (172:178) duplicated block id: 862 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (30:36) - releases/rust/esdk/src/types/_encrypt_input.rs (130:136) duplicated block id: 863 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 864 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 865 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 866 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/ddb.rs (44:49) - releases/rust/esdk/src/ddb.rs (68:73) duplicated block id: 867 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (372:377) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (375:380) duplicated block id: 868 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:331) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (259:264) duplicated block id: 869 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/encrypt/_encrypt_output.rs (18:24) - releases/rust/esdk/src/conversions/encrypt_output.rs (39:46) duplicated block id: 870 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (32:38) - releases/rust/esdk/src/types/_encrypt_input.rs (130:136) duplicated block id: 871 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (114:119) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (133:138) duplicated block id: 872 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (292:297) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (328:333) duplicated block id: 873 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (292:297) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (310:315) duplicated block id: 874 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (303:309) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (197:203) duplicated block id: 875 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (104:110) - releases/rust/esdk/src/types/_encrypt_input.rs (32:38) duplicated block id: 876 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 877 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 878 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (113:119) - releases/rust/esdk/src/types/_decrypt_input.rs (24:30) duplicated block id: 879 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (30:36) - releases/rust/esdk/src/types/_decrypt_output.rs (113:119) duplicated block id: 880 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) duplicated block id: 881 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (171:179) - releases/rust/esdk/src/validation.rs (389:397) duplicated block id: 882 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (24:30) - releases/rust/esdk/src/types/_encrypt_input.rs (130:136) duplicated block id: 883 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (32:38) - releases/rust/esdk/src/types/_encrypt_input.rs (130:136) duplicated block id: 884 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/Frames/Frames.go (288:293) - releases/go/encryption-sdk/MessageBody/MessageBody.go (591:596) duplicated block id: 885 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (132:138) - releases/rust/esdk/src/types/_encrypt_input.rs (44:50) duplicated block id: 886 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:152) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (383:388) duplicated block id: 887 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 888 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) duplicated block id: 889 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 890 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (143:149) - releases/rust/esdk/src/types/_decrypt_input.rs (144:150) duplicated block id: 891 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (246:252) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:176) duplicated block id: 892 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (268:273) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:331) duplicated block id: 893 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (197:203) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (303:309) duplicated block id: 894 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (328:333) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (375:380) duplicated block id: 895 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 896 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (172:178) - releases/rust/esdk/src/types/_decrypt_input.rs (32:38) duplicated block id: 897 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 898 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:225) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (268:273) duplicated block id: 899 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (104:110) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (32:38) duplicated block id: 900 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py (67:73) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py (246:252) duplicated block id: 901 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 902 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 903 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (313:318) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (344:349) duplicated block id: 904 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (30:36) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (130:136) duplicated block id: 905 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) duplicated block id: 906 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 907 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (372:377) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (421:426) duplicated block id: 908 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 909 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (379:384) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (372:377) duplicated block id: 910 size: 6 cleaned lines of code in 2 files: - TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java (129:134) - TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java (240:245) duplicated block id: 911 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (165:171) - releases/rust/esdk/src/types/_decrypt_input.rs (144:150) duplicated block id: 912 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (311:316) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (494:499) duplicated block id: 913 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (143:149) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (184:190) duplicated block id: 914 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 915 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 916 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (888:894) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (925:931) duplicated block id: 917 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 918 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (44:50) - releases/rust/esdk/src/types/_encrypt_input.rs (172:178) duplicated block id: 919 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) duplicated block id: 920 size: 6 cleaned lines of code in 2 files: - cfn/CI.yaml (34:39) - cfn/CI.yaml (66:71) duplicated block id: 921 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (22:28) - releases/rust/esdk/src/types/_encrypt_output.rs (85:91) duplicated block id: 922 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_output.rs (22:28) - releases/rust/esdk/src/types/_encrypt_output.rs (85:91) duplicated block id: 923 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16) duplicated block id: 924 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (1074:1085) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (987:998) duplicated block id: 925 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (85:91) - releases/rust/esdk/src/types/_encrypt_output.rs (22:28) duplicated block id: 926 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 927 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (327:332) - releases/go/encryption-sdk/MessageBody/MessageBody.go (396:401) duplicated block id: 928 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (327:332) - releases/go/encryption-sdk/MessageBody/MessageBody.go (437:442) duplicated block id: 929 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (130:136) - releases/rust/esdk/src/types/_decrypt_input.rs (24:30) duplicated block id: 930 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (22:28) - releases/rust/esdk/src/types/_encrypt_input.rs (102:108) duplicated block id: 931 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 932 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 933 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) duplicated block id: 934 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (113:119) - releases/rust/esdk/src/types/_decrypt_output.rs (30:36) duplicated block id: 935 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (24:30) - releases/rust/esdk/src/types/_decrypt_output.rs (113:119) duplicated block id: 936 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go (1074:1085) - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (985:996) duplicated block id: 937 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (172:178) - releases/rust/esdk/src/types/_encrypt_input.rs (44:50) duplicated block id: 938 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (73:78) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (114:119) duplicated block id: 939 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (268:273) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:331) duplicated block id: 940 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (268:273) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:225) duplicated block id: 941 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 942 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 943 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) duplicated block id: 944 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (132:138) - releases/rust/esdk/src/types/_decrypt_input.rs (32:38) duplicated block id: 945 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 946 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 947 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go (985:996) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (987:998) duplicated block id: 948 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:319) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (203:209) duplicated block id: 949 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 950 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/ESDK/ESDK.go (336:341) - releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go (725:730) duplicated block id: 951 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (174:180) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (246:252) duplicated block id: 952 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (177:182) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (201:206) duplicated block id: 953 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (379:384) - releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go (328:333) duplicated block id: 954 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:225) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (268:273) duplicated block id: 955 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (32:38) - releases/rust/esdk/src/types/_encrypt_input.rs (172:178) duplicated block id: 956 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (104:110) - releases/rust/esdk/src/types/_decrypt_output.rs (30:36) duplicated block id: 957 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (32:38) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (172:178) duplicated block id: 958 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_encrypt_input.rs (24:30) - releases/rust/esdk/src/types/_encrypt_output.rs (85:91) duplicated block id: 959 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs (12:17) - releases/rust/esdk/src/conversions/encrypt_output.rs (19:24) duplicated block id: 960 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (368:373) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (390:395) duplicated block id: 961 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (113:119) - releases/rust/esdk/src/types/_encrypt_input.rs (32:38) duplicated block id: 962 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (327:332) - releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go (380:385) duplicated block id: 963 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (303:309) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:199) duplicated block id: 964 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (24:30) - releases/rust/esdk/src/types/_encrypt_output.rs (85:91) duplicated block id: 965 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (398:403) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:152) duplicated block id: 966 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:331) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (259:264) duplicated block id: 967 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 968 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (130:136) - releases/rust/esdk/src/types/_decrypt_output.rs (30:36) duplicated block id: 969 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 970 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) duplicated block id: 971 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (90:98) - releases/rust/esdk/src/validation.rs (327:335) duplicated block id: 972 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (297:302) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (347:352) duplicated block id: 973 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 974 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (22:28) - releases/rust/esdk/src/types/_encrypt_output.rs (85:91) duplicated block id: 975 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:225) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (268:273) duplicated block id: 976 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py (11:16) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py (170:175) duplicated block id: 977 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (144:150) - releases/rust/esdk/src/operation/decrypt/builders.rs (143:149) duplicated block id: 978 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 979 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 980 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (347:352) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (379:384) duplicated block id: 981 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt.rs (28:33) - releases/rust/esdk/src/operation/encrypt.rs (28:33) duplicated block id: 982 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (174:180) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (238:244) duplicated block id: 983 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (90:98) - releases/rust/esdk/src/validation.rs (371:379) duplicated block id: 984 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (54:59) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py (133:138) duplicated block id: 985 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (207:213) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (304:310) duplicated block id: 986 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 987 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (44:50) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (172:178) duplicated block id: 988 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (297:302) - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (379:384) duplicated block id: 989 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 990 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (346:351) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (368:373) duplicated block id: 991 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (346:351) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (390:395) duplicated block id: 992 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:331) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (268:273) duplicated block id: 993 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (171:179) - releases/rust/esdk/src/validation.rs (327:335) duplicated block id: 994 size: 6 cleaned lines of code in 2 files: - cfn/CI.yaml (34:39) - cfn/CI.yaml (108:113) duplicated block id: 995 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/dafny_libraries.rs (144:149) - releases/rust/esdk/src/dafny_libraries.rs (156:161) duplicated block id: 996 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java (169:174) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java (170:175) duplicated block id: 997 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (30:36) - releases/rust/esdk/src/types/_decrypt_output.rs (113:119) duplicated block id: 998 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (130:136) - releases/rust/esdk/src/types/_encrypt_input.rs (32:38) duplicated block id: 999 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (171:179) - releases/rust/esdk/src/validation.rs (210:218) duplicated block id: 1000 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/builders.rs (165:171) - releases/rust/esdk/src/types/_encrypt_input.rs (184:190) duplicated block id: 1001 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (143:149) - releases/rust/esdk/src/types/_encrypt_input.rs (184:190) duplicated block id: 1002 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:152) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (398:403) duplicated block id: 1003 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (85:91) - releases/rust/esdk/src/types/_encrypt_input.rs (24:30) duplicated block id: 1004 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (347:352) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (375:380) duplicated block id: 1005 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_output.rs (85:91) - releases/rust/esdk/src/types/_encrypt_output.rs (22:28) duplicated block id: 1006 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:176) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (238:244) duplicated block id: 1007 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16) duplicated block id: 1008 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (297:302) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (375:380) duplicated block id: 1009 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:152) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (398:403) duplicated block id: 1010 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 1011 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 1012 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (85:91) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (22:28) duplicated block id: 1013 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 1014 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (68:74) - releases/rust/esdk/src/operation/decrypt/builders.rs (67:73) duplicated block id: 1015 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (22:28) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (85:91) duplicated block id: 1016 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (268:273) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:331) duplicated block id: 1017 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (246:252) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (174:180) duplicated block id: 1018 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs (33:39) - releases/rust/esdk/src/conversions/decrypt_input.rs (54:61) duplicated block id: 1019 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (24:30) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (130:136) duplicated block id: 1020 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (21:28) - releases/rust/esdk/src/validation.rs (257:264) duplicated block id: 1021 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go (379:384) - releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go (375:380) duplicated block id: 1022 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (197:203) - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (303:309) duplicated block id: 1023 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (44:50) - releases/rust/esdk/src/types/_decrypt_input.rs (132:138) duplicated block id: 1024 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (197:203) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (294:300) duplicated block id: 1025 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/builders.rs (67:73) - releases/rust/esdk/src/types/_decrypt_input.rs (68:74) duplicated block id: 1026 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py (23:28) - AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py (184:189) duplicated block id: 1027 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (113:119) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (32:38) duplicated block id: 1028 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (90:98) - releases/rust/esdk/src/validation.rs (171:179) duplicated block id: 1029 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (90:98) - releases/rust/esdk/src/validation.rs (210:218) duplicated block id: 1030 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:225) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (259:264) duplicated block id: 1031 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:152) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (383:388) duplicated block id: 1032 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/ecdh.rs (12:18) - releases/rust/esdk/src/ecdsa.rs (21:27) duplicated block id: 1033 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (104:110) - releases/rust/esdk/src/types/_decrypt_output.rs (30:36) duplicated block id: 1034 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (132:138) - releases/rust/esdk/src/types/_encrypt_input.rs (44:50) duplicated block id: 1035 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (24:30) - releases/rust/esdk/src/types/_encrypt_input.rs (130:136) duplicated block id: 1036 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (22:28) - releases/rust/esdk/src/types/_encrypt_output.rs (85:91) duplicated block id: 1037 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (102:108) - releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs (22:28) duplicated block id: 1038 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (32:38) - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (132:138) duplicated block id: 1039 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (174:180) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (238:244) duplicated block id: 1040 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (104:110) - releases/rust/esdk/src/types/_encrypt_input.rs (32:38) duplicated block id: 1041 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 1042 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (174:180) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (246:252) duplicated block id: 1043 size: 6 cleaned lines of code in 2 files: - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (310:315) - releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go (328:333) duplicated block id: 1044 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (303:309) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:199) duplicated block id: 1045 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (174:180) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (246:252) duplicated block id: 1046 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs (30:36) - releases/rust/esdk/src/types/_encrypt_input.rs (130:136) duplicated block id: 1047 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (115:120) - AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java (280:285) duplicated block id: 1048 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:152) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (398:403) duplicated block id: 1049 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs (18:24) - releases/rust/esdk/src/conversions/decrypt_output.rs (39:46) duplicated block id: 1050 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (132:138) - releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs (44:50) duplicated block id: 1051 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:319) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (203:209) duplicated block id: 1052 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/types/_decrypt_input.rs (32:38) - releases/rust/esdk/src/types/_decrypt_input.rs (132:138) duplicated block id: 1053 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 1054 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs (144:150) - releases/rust/esdk/src/operation/encrypt/builders.rs (165:171) duplicated block id: 1055 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) duplicated block id: 1056 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (371:379) - releases/rust/esdk/src/validation.rs (389:397) duplicated block id: 1057 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (210:218) - releases/rust/esdk/src/validation.rs (389:397) duplicated block id: 1058 size: 6 cleaned lines of code in 2 files: - releases/rust/esdk/src/validation.rs (210:218) - releases/rust/esdk/src/validation.rs (371:379) duplicated block id: 1059 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16) - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16) duplicated block id: 1060 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147) duplicated block id: 1061 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115) duplicated block id: 1062 size: 6 cleaned lines of code in 2 files: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40)