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
“
The most important property of a program is whether it accomplishes the intention of its user.