pass\isabelle\pass_isabelle.cpp
- 551 Complexity
- 7.45 Complexity / M
- 364 Duplication
- 16 Churn
- 2921 Lines
- 2487 Lines of Code
- 74 Methods
- 33.61 LOC / Method
No issues found
“
All problems in computer science can be solved by another level of indirection, except for the problem of too many layers of indirection.