-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLOC.txt
More file actions
20 lines (18 loc) · 700 Bytes
/
Copy pathLOC.txt
File metadata and controls
20 lines (18 loc) · 700 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Lines of Code Measurement
Total Physical Lines: 2515 lines (including blank lines and comments)
Total Code Lines: 1936 lines (excluding blank lines and comments, per cloc)
Breakdown (per cloc):
- Blank lines: 212
- Comments: 368
- Actual code: 1936
File Breakdown (per cloc - code lines):
- test/parser_tests.ml: 809 lines (838 physical)
- lib/sequent.ml: 424 lines (576 physical)
- src/main.ml: 374 lines (417 physical)
- lib/ast.ml: 137 lines (184 physical)
- lib/parser.ml: 90 lines (110 physical)
- lib/sequent.mli: 36 lines (204 physical)
- lib/rule.ml: 31 lines (48 physical)
- lib/ast.mli: 24 lines (77 physical)
- lib/rule.mli: 8 lines (43 physical)
- lib/parser.mli: 3 lines (18 physical)