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

8% duplication:

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

44 duplicates

Duplication per Extension

Duplication per Component (primary)

Longest Duplicates

The list of 44 longest duplicates.

See data for all 44 duplicates...

Size	#	Folders	Files	Lines	Code
20	x 2	smt2parser/src z3tracer/src	lexer.rs lexer.rs	146:173 (6%) 53:80 (5%)	view
18	x 2	z3tracer/src z3tracer/src	report.rs report.rs	96:117 (7%) 274:295 (7%)	view
14	x 2	z3tracer/src z3tracer/src	report.rs report.rs	164:178 (5%) 239:253 (5%)	view
14	x 2	smt2patch smt2proxy	Cargo.toml Cargo.toml	7:21 (53%) 7:21 (56%)	view
12	x 2	smt2parser/src smt2parser/src	concrete.rs concrete.rs	542:553 (1%) 557:568 (1%)	view
11	x 2	smt2parser smt2patch	Cargo.toml Cargo.toml	7:18 (35%) 7:18 (42%)	view
11	x 2	smt2parser smt2proxy	Cargo.toml Cargo.toml	7:18 (35%) 7:18 (44%)	view
11	x 2	z3tracer/src z3tracer/src	report.rs report.rs	115:126 (4%) 225:236 (4%)	view
10	x 2	smt2parser/src smt2parser/src	concrete.rs concrete.rs	932:941 (1%) 952:961 (1%)	view
10	x 2	z3tracer/src z3tracer/src	report.rs report.rs	180:190 (3%) 255:265 (3%)	view
9	x 2	z3tracer/src z3tracer/src	report.rs report.rs	228:236 (3%) 307:315 (3%)	view
9	x 2	smt2parser/src smt2parser/src	rewriter.rs rewriter.rs	942:950 (1%) 998:1006 (1%)	view
9	x 2	z3tracer/src z3tracer/src	report.rs report.rs	118:126 (3%) 307:315 (3%)	view
8	x 2	smt2parser/src smt2parser/src	rewriter.rs rewriter.rs	936:943 (1%) 952:959 (1%)	view
8	x 2	smt2parser/src smt2parser/src	rewriter.rs rewriter.rs	992:999 (1%) 1008:1015 (1%)	view
8	x 2	z3tracer/src z3tracer/src	report.rs report.rs	126:135 (3%) 257:265 (3%)	view
8	x 2	z3tracer/src z3tracer/src	report.rs report.rs	126:135 (3%) 182:190 (3%)	view
8	x 2	smt2parser/src smt2parser/src	rewriter.rs rewriter.rs	485:492 (1%) 504:511 (1%)	view
7	x 2	smt2parser/src smt2parser/src	concrete.rs concrete.rs	496:502 (<1%) 810:816 (<1%)	view
7	x 2	z3tracer/src z3tracer/src	report.rs report.rs	129:135 (2%) 327:333 (2%)	view
7	x 2	smt2parser/src smt2parser/src	rewriter.rs rewriter.rs	958:964 (<1%) 1014:1020 (<1%)	view
7	x 2	smt2parser/src smt2parser/src	concrete.rs concrete.rs	1021:1027 (<1%) 1035:1041 (<1%)	view
7	x 2	z3tracer/src z3tracer/src	report.rs report.rs	184:190 (2%) 327:333 (2%)	view
7	x 2	smt2parser/src smt2parser/src	lib.rs lib.rs	147:153 (6%) 167:173 (6%)	view
7	x 2	smt2proxy z3tracer	Cargo.toml Cargo.toml	11:18 (28%) 11:18 (21%)	view
7	x 2	z3tracer/src z3tracer/src	report.rs report.rs	259:265 (2%) 327:333 (2%)	view
7	x 2	smt2parser z3tracer	Cargo.toml Cargo.toml	11:18 (22%) 11:18 (21%)	view
7	x 2	smt2patch z3tracer	Cargo.toml Cargo.toml	11:18 (26%) 11:18 (21%)	view
7	x 2	smt2parser/src smt2parser/src	concrete.rs concrete.rs	921:927 (<1%) 939:945 (<1%)	view
7	x 2	smt2parser/src smt2parser/src	rewriter.rs rewriter.rs	258:264 (<1%) 269:275 (<1%)	view
7	x 2	z3tracer/src z3tracer/src	report.rs report.rs	148:155 (2%) 205:212 (2%)	view
6	x 2	z3tracer/src z3tracer/src	report.rs report.rs	103:108 (2%) 207:212 (2%)	view
6	x 2	smt2parser/src smt2parser/src	lib.rs lib.rs	156:161 (5%) 175:180 (5%)	view
6	x 2	z3tracer/src z3tracer/src	main.rs main.rs	252:257 (2%) 269:274 (2%)	view
6	x 2	smt2parser/src smt2parser/src	concrete.rs stats.rs	8:13 (<1%) 8:13 (1%)	view
6	x 2	smt2parser/src smt2parser/src	parser.rs rewriter.rs	423:428 (1%) 929:934 (<1%)	view
6	x 2	smt2parser/src smt2parser/src	concrete.rs concrete.rs	915:920 (<1%) 952:957 (<1%)	view
6	x 2	z3tracer/src z3tracer/src	lexer.rs lexer.rs	131:136 (1%) 150:155 (1%)	view
6	x 2	smt2parser/src smt2parser/src	concrete.rs concrete.rs	915:920 (<1%) 932:937 (<1%)	view
6	x 2	z3tracer/src z3tracer/src	main.rs main.rs	345:351 (2%) 367:373 (2%)	view
6	x 2	smt2parser/src smt2parser/src	parser.rs parser.rs	431:437 (1%) 447:453 (1%)	view
6	x 2	z3tracer/src z3tracer/src	report.rs report.rs	103:108 (2%) 150:155 (2%)	view
6	x 2	z3tracer/src z3tracer/src	report.rs report.rs	150:155 (2%) 281:286 (2%)	view
6	x 2	z3tracer/src z3tracer/src	report.rs report.rs	207:212 (2%) 281:286 (2%)	view

Duplicated Units

The list of top 1 duplicated units.

See data for all 1 unit duplicate

Size	#	Folders	Files	Lines	Code
10	x 2	z3tracer/src smt2parser/src	lexer.rs lexer.rs	53:64 146:157	view