src\model\Model_Checking.cpp
- 135 Complexity
- 2.21 Complexity / M
- 0 Duplication
- 2 Churn
- 641 Lines
- 531 Lines of Code
- 61 Methods
- 8.7 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.