src\model\Model_Checking.cpp
- 108 Complexity
- 2.12 Complexity / M
- 0 Duplication
- 4 Churn
- 552 Lines
- 453 Lines of Code
- 51 Methods
- 8.88 LOC / Method
No issues found
“
The most important property of a program is whether it accomplishes the intention of its user.