facebookincubator / smt2utils
File Size

The distribution of size of files (measured in lines of code).

Intro
  • File size measurements show the distribution of size of files.
  • Files are classified in four categories based on their size (lines of code): 1-100 (very small files), 101-200 (small files), 201-500 (medium size files), 501-1000 (long files), 1001+(very long files).
  • It is a good practice to keep files small. Long files may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.
Learn more...
File Size Overall
  • There are 27 files with 7,403 lines of code.
    • 1 very long files (1,157 lines of code)
    • 3 long files (2,165 lines of code)
    • 10 medium size files (3,417 lines of codeclsfd_ftr_w_mp_ins)
    • 2 small files (246 lines of code)
    • 11 very small files (418 lines of code)
15% | 29% | 46% | 3% | 5%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: zoomable circles | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
rs15% | 29% | 46% | 3% | 3%
toml0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
smt2parser/src27% | 34% | 30% | 5% | 1%
z3tracer/src0% | 29% | 66% | 0% | 4%
smt2proxy/src0% | 0% | 100% | 0% | 0%
smt2patch/src0% | 0% | 0% | 0% | 100%
z3tracer0% | 0% | 0% | 0% | 100%
smt2parser0% | 0% | 0% | 0% | 100%
smt2patch0% | 0% | 0% | 0% | 100%
smt2proxy0% | 0% | 0% | 0% | 100%
ROOT0% | 0% | 0% | 0% | 100%
Longest Files (Top 27)
File# lines# units
concrete.rs
in smt2parser/src
 1157 62
rewriter.rs
in smt2parser/src
 934 125
model.rs
in z3tracer/src
 726 24
visitors.rs
in smt2parser/src
 505 18
stats.rs
in smt2parser/src
 490 61
lexer.rs
in z3tracer/src
 470 16
parser.rs
in smt2parser/src
 437 3
lexer.rs
in smt2parser/src
 381 11
syntax.rs
in z3tracer/src
 315 14
main.rs
in z3tracer/src
 306 3
report.rs
in z3tracer/src
 285 8
parser.rs
in z3tracer/src
 283 2
lib.rs
in smt2proxy/src
 231 5
main.rs
in smt2proxy/src
 219 5
lib.rs
in smt2parser/src
 130 3
main.rs
in smt2parser/src
 116 3
error.rs
in z3tracer/src
 99 3
lib.rs
in smt2patch/src
 93 6
renaming.rs
in smt2parser/src
 70 2
Cargo.toml
in z3tracer
 33 -
Cargo.toml
in smt2parser
 31 -
Cargo.toml
in smt2patch
 26 -
Cargo.toml
in smt2proxy
 25 -
main.rs
in smt2patch/src
 17 1
Cargo.toml
in root
 12 -
lib.rs
in z3tracer/src
 10 -
2 -
Files With Most Units (Top 20)
File# lines# units
rewriter.rs
in smt2parser/src
 934 125
concrete.rs
in smt2parser/src
 1157 62
stats.rs
in smt2parser/src
 490 61
model.rs
in z3tracer/src
 726 24
visitors.rs
in smt2parser/src
 505 18
lexer.rs
in z3tracer/src
 470 16
syntax.rs
in z3tracer/src
 315 14
lexer.rs
in smt2parser/src
 381 11
report.rs
in z3tracer/src
 285 8
lib.rs
in smt2patch/src
 93 6
lib.rs
in smt2proxy/src
 231 5
main.rs
in smt2proxy/src
 219 5
error.rs
in z3tracer/src
 99 3
main.rs
in z3tracer/src
 306 3
lib.rs
in smt2parser/src
 130 3
main.rs
in smt2parser/src
 116 3
parser.rs
in smt2parser/src
 437 3
parser.rs
in z3tracer/src
 283 2
renaming.rs
in smt2parser/src
 70 2
main.rs
in smt2patch/src
 17 1
Files With Long Lines (Top 1)

There is only one file with lines longer than 120 characters. In total, there are 9 long lines.

File# lines# units# long lines
parser.rs
in smt2parser/src
 437 3 9
Correlations

File Size vs. Commits (all time): 26 points

z3tracer/src/lib.rs x: 28 commits (all time) y: 10 lines of code smt2parser/Cargo.toml x: 14 commits (all time) y: 31 lines of code smt2patch/Cargo.toml x: 10 commits (all time) y: 26 lines of code smt2proxy/Cargo.toml x: 15 commits (all time) y: 25 lines of code z3tracer/Cargo.toml x: 28 commits (all time) y: 33 lines of code smt2parser/src/lib.rs x: 7 commits (all time) y: 130 lines of code smt2proxy/src/lib.rs x: 4 commits (all time) y: 231 lines of code z3tracer/src/model.rs x: 36 commits (all time) y: 726 lines of code smt2parser/src/renaming.rs x: 13 commits (all time) y: 70 lines of code smt2parser/src/visitors.rs x: 14 commits (all time) y: 505 lines of code smt2proxy/src/main.rs x: 7 commits (all time) y: 219 lines of code smt2parser/src/concrete.rs x: 14 commits (all time) y: 1157 lines of code z3tracer/src/lexer.rs x: 14 commits (all time) y: 470 lines of code smt2patch/src/lib.rs x: 8 commits (all time) y: 93 lines of code z3tracer/src/syntax.rs x: 20 commits (all time) y: 315 lines of code smt2parser/src/main.rs x: 6 commits (all time) y: 116 lines of code smt2parser/src/parser.rs x: 12 commits (all time) y: 437 lines of code smt2parser/src/rewriter.rs x: 8 commits (all time) y: 934 lines of code smt2parser/src/stats.rs x: 7 commits (all time) y: 490 lines of code smt2parser/src/lexer.rs x: 4 commits (all time) y: 381 lines of code z3tracer/src/main.rs x: 13 commits (all time) y: 306 lines of code z3tracer/src/report.rs x: 2 commits (all time) y: 285 lines of code smt2patch/src/main.rs x: 2 commits (all time) y: 17 lines of code z3tracer/src/parser.rs x: 15 commits (all time) y: 283 lines of code z3tracer/src/error.rs x: 21 commits (all time) y: 99 lines of code Cargo.toml x: 2 commits (all time) y: 12 lines of code
1157.0
lines of code
  min: 10.0
  average: 284.65
  25th percentile: 32.5
  median: 225.0
  75th percentile: 445.25
  max: 1157.0
0 36.0
commits (all time)
min: 2.0 | average: 12.46 | 25th percentile: 6.75 | median: 12.5 | 75th percentile: 15.0 | max: 36.0

File Size vs. Contributors (all time): 26 points

z3tracer/src/lib.rs x: 1 contributors (all time) y: 10 lines of code smt2parser/Cargo.toml x: 1 contributors (all time) y: 31 lines of code smt2patch/Cargo.toml x: 1 contributors (all time) y: 26 lines of code z3tracer/Cargo.toml x: 1 contributors (all time) y: 33 lines of code smt2parser/src/lib.rs x: 1 contributors (all time) y: 130 lines of code smt2proxy/src/lib.rs x: 1 contributors (all time) y: 231 lines of code z3tracer/src/model.rs x: 2 contributors (all time) y: 726 lines of code smt2parser/src/renaming.rs x: 1 contributors (all time) y: 70 lines of code smt2parser/src/visitors.rs x: 2 contributors (all time) y: 505 lines of code smt2proxy/src/main.rs x: 1 contributors (all time) y: 219 lines of code smt2parser/src/concrete.rs x: 2 contributors (all time) y: 1157 lines of code z3tracer/src/lexer.rs x: 1 contributors (all time) y: 470 lines of code smt2patch/src/lib.rs x: 1 contributors (all time) y: 93 lines of code z3tracer/src/syntax.rs x: 1 contributors (all time) y: 315 lines of code smt2parser/src/main.rs x: 1 contributors (all time) y: 116 lines of code smt2parser/src/parser.rs x: 1 contributors (all time) y: 437 lines of code smt2parser/src/rewriter.rs x: 1 contributors (all time) y: 934 lines of code smt2parser/src/stats.rs x: 1 contributors (all time) y: 490 lines of code smt2parser/src/lexer.rs x: 1 contributors (all time) y: 381 lines of code z3tracer/src/main.rs x: 1 contributors (all time) y: 306 lines of code z3tracer/src/report.rs x: 1 contributors (all time) y: 285 lines of code smt2patch/src/main.rs x: 1 contributors (all time) y: 17 lines of code z3tracer/src/parser.rs x: 2 contributors (all time) y: 283 lines of code z3tracer/src/error.rs x: 1 contributors (all time) y: 99 lines of code
1157.0
lines of code
  min: 10.0
  average: 284.65
  25th percentile: 32.5
  median: 225.0
  75th percentile: 445.25
  max: 1157.0
0 2.0
contributors (all time)
min: 1.0 | average: 1.15 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 2.0

File Size vs. Commits (30 days): 0 points

No data for "commits (30d)" vs. "lines of code".

File Size vs. Contributors (30 days): 0 points

No data for "contributors (30d)" vs. "lines of code".

File Size vs. Commits (90 days): 0 points

No data for "commits (90d)" vs. "lines of code".

File Size vs. Contributors (90 days): 0 points

No data for "contributors (90d)" vs. "lines of code".