Duplication · openai/cdc-lean

Duplication Overall

7% duplication:

6,673 cleaned lines of cleaned code (without empty lines, comments, and frequently duplicated constructs such as imports)
528 duplicated lines

28 duplicates

dependency graphs: 2D graph | 2D graph (with duplicates)... | 3D graph | 3D graph (with duplicates)...

Duplication per Extension

Duplication per Component (primary)

Longest Duplicates

The list of 28 longest duplicates.

See data for all 28 duplicates...

Size	#	Folders	Files	Lines	Code
55	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2801:2855 (1%) 2871:2925 (1%)	view
29	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	3552:3580 (<1%) 3617:3645 (<1%)	view
16	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2104:2119 (<1%) 2129:2144 (<1%)	view
11	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2068:2078 (<1%) 2088:2098 (<1%)	view
10	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	1697:1706 (<1%) 1720:1729 (<1%)	view
10	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2982:2991 (<1%) 3037:3046 (<1%)	view
9	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	1993:2001 (<1%) 2010:2018 (<1%)	view
9	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2332:2340 (<1%) 3077:3085 (<1%)	view
8	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2173:2180 (<1%) 2333:2340 (<1%)	view
8	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2173:2180 (<1%) 3078:3085 (<1%)	view
8	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2862:2869 (<1%) 2982:2989 (<1%)	view
8	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2862:2869 (<1%) 3037:3044 (<1%)	view
8	x 2	CDCLean CDCLean	lean FlowCount.lean FlowCount.lean	152:159 (1%) 186:193 (1%)	view
7	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	995:1001 (<1%) 1022:1028 (<1%)	view
7	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	1382:1388 (<1%) 1408:1414 (<1%)	view
7	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	1569:1575 (<1%) 1579:1585 (<1%)	view
7	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	1708:1714 (<1%) 1731:1737 (<1%)	view
7	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2060:2066 (<1%) 2080:2086 (<1%)	view
7	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2121:2127 (<1%) 2146:2152 (<1%)	view
7	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	3125:3131 (<1%) 3394:3400 (<1%)	view
7	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	3544:3550 (<1%) 3608:3614 (<1%)	view
7	x 2	CDCLean CDCLean	lean Main.lean Main.lean	26:32 (11%) 59:65 (11%)	view
6	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	1628:1633 (<1%) 1748:1753 (<1%)	view
6	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	1986:1991 (<1%) 2003:2008 (<1%)	view
6	x 2	CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean	2346:2351 (<1%) 2365:2370 (<1%)	view
6	x 2	CDCLean CDCLean	lean JaegerKilpatrick.lean JaegerKilpatrick.lean	856:861 (<1%) 870:875 (<1%)	view
6	x 2	CDCLean CDCLean	lean CycleDecomposition.lean SixFlow.lean	17:26 (3%) 9:18 (19%)	view
6	x 2	CDCLean CDCLean	lean JaegerKilpatrick.lean NashWilliams.lean	845:850 (<1%) 835:840 (<1%)	view

Most Frequent Duplicates

The list of 6 most frequently found duplicates.

Size	#	Folders	Files	Lines	Code
6	x 3	CDCLean CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean NashWilliams.lean	2173:2178 (<1%) 2333:2338 (<1%) 3078:3083 (<1%)	view
6	x 3	CDCLean CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean NashWilliams.lean	2175:2180 (<1%) 2335:2340 (<1%) 3080:3085 (<1%)	view
6	x 3	CDCLean CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean NashWilliams.lean	2864:2869 (<1%) 2984:2989 (<1%) 3039:3044 (<1%)	view
6	x 3	CDCLean CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean NashWilliams.lean	2863:2868 (<1%) 2983:2988 (<1%) 3038:3043 (<1%)	view
6	x 3	CDCLean CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean NashWilliams.lean	2174:2179 (<1%) 2334:2339 (<1%) 3079:3084 (<1%)	view
6	x 3	CDCLean CDCLean CDCLean	lean NashWilliams.lean NashWilliams.lean NashWilliams.lean	2862:2867 (<1%) 2982:2987 (<1%) 3037:3042 (<1%)	view

About This Analysis

For duplication, we look at places in code where there are 6 or more lines of code that are exactly the same.
Before duplication is calculated, the code is cleaned to remove empty lines, comments, and frequently duplicated constructs such as imports.
You should aim at having as little as possible (<5%) of duplicated code as high-level of duplication can lead to maintenance difficulties, poor factoring, and logical contradictions.

Learn more...

To learn more about duplications and techniques for eliminating duplication, Sokrates recommends the following resources:

Avoid Repetition, MartinFlower.com (IEEE Software article)
Refactoring duplicated code, sourcemaking.com
Beck Design Rules, MartinFowler.com
DRY (Don't Repeat Yourself) Principle, Wikipedia
The Cut-and-Paste Programming Software Development Anti-Pattern, sourcemaking.com
Code Smells / Duplicated Code, Jeff Atwood, codinghorror.com:

"Duplicated code is the bane of software development. Stamp out duplication whenever possible. You should always be on the lookout for more subtle cases of near-duplication, too. Don't Repeat Yourself!"

Reducing Coupling, MartinFlower.com (IEEE Software article):

"There are several ways to describe coupling, but it boils down to this: If changing one module in a program requires changing another module, then coupling exists. ... Duplication always implies coupling, because changing one piece of duplicate code implies changing the other."