90 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188, 100%) 90 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (12:188, 100%) 86 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (16:159, 33%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (16:159, 32%) 86 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (16:159, 33%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (16:159, 32%) 74 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:140, 29%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:140, 29%) 74 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:140, 29%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (18:140, 29%) 68 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (302:396, 26%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (314:408, 25%) 68 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (302:396, 26%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (314:408, 25%) 57 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:407, 22%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:392, 22%) 57 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:407, 22%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:392, 22%) 54 duplicated lines in: - AwsEncryptionSDK/runtimes/rust/src/lib.rs (64:133, 100%) - releases/rust/esdk/src/lib.rs (64:133, 100%) 36 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (243:292, 14%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (252:301, 13%) 36 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66, 100%) 36 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (243:292, 14%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (252:301, 13%) 36 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/api_client.go (13:66, 100%) 33 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (242:290, 12%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (234:281, 13%) 33 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (242:290, 12%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (234:281, 13%) 26 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (197:233, 10%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (203:239, 9%) 26 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (197:233, 10%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (203:239, 9%) 25 duplicated lines in: - AwsEncryptionSDK/runtimes/rust/Cargo.toml (1:27, 75%) - releases/rust/esdk/Cargo.toml (1:27, 75%) 15 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (299:319, 5%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:310, 6%) 15 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:213, 5%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (189:209, 6%) 15 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (299:319, 5%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (290:310, 6%) 15 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:213, 5%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (189:209, 6%) 13 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (169:187, 5%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (172:190, 4%) 13 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (169:187, 5%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (172:190, 4%) 12 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (320:335, 4%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (221:236, 4%) 12 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (215:230, 4%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (332:347, 4%) 12 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (320:335, 4%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (221:236, 4%) 12 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (215:230, 4%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (332:347, 4%) 11 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25, 100%) 11 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go (9:25, 100%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30, 3%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:161, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (143:157, 4%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:184, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (166:180, 4%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:233, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (212:225, 4%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:184, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (166:180, 4%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60, 3%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30, 3%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:161, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (143:157, 4%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (19:30, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (49:60, 3%) 10 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:233, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (212:225, 4%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15, 100%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (352:364, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (255:266, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (172:183, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (317:328, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (256:268, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (372:383, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (200:211, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (248:259, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (305:316, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (175:186, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (246:257, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (206:217, 3%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/enums.go (5:15, 100%) 9 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (386:398, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (339:350, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (322:329, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (217:224, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:229, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:322, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:335, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (212:221, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (223:230, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (334:341, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (383:390, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:335, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (212:221, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (395:402, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (217:224, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (395:402, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (223:230, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:229, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:322, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (266:273, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (334:341, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (383:390, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (141:148, 3%) 8 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (322:329, 3%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (275:282, 3%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (282:289, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (380:387, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (368:375, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (291:298, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (394:403, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (140:148, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (282:289, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (380:387, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (264:273, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (209:217, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (264:273, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (310:318, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (394:403, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (140:148, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (23:31, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (51:59, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/rust/Cargo.toml (29:36, 21%) - releases/rust/esdk/Cargo.toml (29:36, 21%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go (368:375, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go (291:298, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (264:273, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (209:217, 2%) 7 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (264:273, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (310:318, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (207:213, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (304:310, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (197:203, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (294:300, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (246:252, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:176, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:225, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (259:264, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:331, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (259:264, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:152, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (383:388, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (246:252, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (170:176, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16, 100%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:319, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (203:209, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (303:309, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:199, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (326:331, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (259:264, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (174:180, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (238:244, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (207:213, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (304:310, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16, 100%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/errors.go (9:16, 100%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (197:203, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (294:300, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (220:225, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (259:264, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (147:152, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (383:388, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (174:180, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (238:244, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (303:309, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (193:199, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go (313:319, 2%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go (203:209, 2%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (138:147, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (106:115, 6%) 6 duplicated lines in: - AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go (63:72, 6%) - releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go (31:40, 6%)