Intro

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...

Duplication Overall

6% duplication:

4,415 cleaned lines of cleaned code (without empty lines, comments, and frequently duplicated constructs such as imports)
286 duplicated lines

53 duplicates

Duplication per Extension

Duplication per Component (primary)

Longest Duplicates

The list of 20 longest duplicates.

See data for all 53 duplicates...

Size	#	Folders	Files	Lines	Code
12	x 2	summary summary	stubs.py summary.py	154:165 (2%) 55:66 (6%)	view
11	x 2	cbmc_viewer cbmc_viewer	tracet.py tracet.py	582:592 (2%) 599:609 (2%)	view
11	x 2	cbmc_viewer cbmc_viewer	tracet.py tracet.py	433:443 (2%) 450:460 (2%)	view
10	x 2	summary summary	stubs.py summary.py	181:201 (2%) 79:95 (5%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_property.py make_result.py	30:49 (39%) 26:48 (40%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_loop.py make_property.py	31:50 (37%) 30:49 (39%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_loop.py make_trace.py	31:50 (37%) 29:49 (37%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_reachable.py make_trace.py	31:50 (33%) 29:49 (37%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_result.py make_trace.py	26:48 (40%) 29:49 (37%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_loop.py make_result.py	31:50 (37%) 26:48 (40%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_reachable.py make_result.py	31:50 (33%) 26:48 (40%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_coverage.py make_result.py	29:49 (39%) 26:48 (40%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_property.py make_trace.py	30:49 (39%) 29:49 (37%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_coverage.py make_property.py	29:49 (39%) 30:49 (39%)	view
9	x 2	cbmc_viewer cbmc_viewer	tracet.py tracet.py	47:55 (1%) 59:67 (1%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_coverage.py make_reachable.py	29:49 (39%) 31:50 (33%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_coverage.py make_trace.py	29:49 (39%) 29:49 (37%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_property.py make_reachable.py	30:49 (39%) 31:50 (33%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_coverage.py make_loop.py	29:49 (39%) 31:50 (37%)	view
9	x 2	cbmc_viewer cbmc_viewer	make_loop.py make_reachable.py	31:50 (37%) 31:50 (33%)	view

Duplicated Units

The list of top 1 duplicated units.

See data for all 1 unit duplicate

Size	#	Folders	Files	Lines	Code
7	x 2	summary summary	stubs.py summary.py	0:0 0:0	view