deepseek-ai/DeepSeek-Prover-V1.5
Unit Complexity*
The distribution of complexity of units (measured with McCabe index).
Conditional Complexity Overall
  • There are 107 units with 1,788 lines of code in units (85.9% of code).
    • 0 very complex units (0 lines of code)
    • 1 complex units (76 lines of code)
    • 13 medium complex units (693 lines of code)
    • 17 simple units (476 lines of code)
    • 76 very simple units (543 lines of code)
0% | 4% | 38% | 26% | 30%
Legend:
51+
26-50
11-25
6-10
1-5
Alternative Visuals
Conditional Complexity per Extension
51+
26-50
11-25
6-10
1-5
py0% | 4% | 38% | 26% | 30%
Conditional Complexity per Logical Component
primary logical decomposition
51+
26-50
11-25
6-10
1-5
prover0% | 4% | 38% | 26% | 30%
Most Complex Units
Top 50 most complex units
Unit# linesMcCabe index# params
76 33 2
43 17 3
51 17 2
47 16 4
82 15 2
38 15 10
45 14 2
99 14 3
59 13 2
34 13 2
27 13 7
28 12 1
48 11 3
92 11 3
36 10 2
46 10 1
89 9 3
89 9 3
21 9 2
20 8 1
20 8 2
17 8 4
12 7 1
19 7 1
19 7 1
19 7 2
11 6 1
11 6 1
13 6 2
10 6 2
24 6 1
15 5 2
18 5 1
13 5 3
24 4 2
11 4 1
12 4 1
12 4 2
7 4 2
8 3 1
11 3 3
23 3 5
5 3 2
9 3 4
7 3 3
7 3 3
2 3 1
9 3 1
6 3 2
6 2 5
About This Analysis
  • Conditional complexity (also called cyclomatic complexity) is a term used to measure the complexity of software. The term refers to the number of possible paths through a program function. A higher value ofter means higher maintenance and testing costs (infosecinstitute.com).
  • Conditional complexity is calculated by counting all conditions in the program that can affect the execution path (e.g. if statement, loops, switches, and/or operators, try and catch blocks...).
  • Conditional complexity is measured at the unit level (methods, functions...).
  • Units are classified in four categories based on the measured McCabe index: 1-5 (simple units), 6-10 (medium complex units), 11-25 (complex units), 26+ (very complex units).
Learn more...