List view
src\examples\proxies\kripke-steering\Kripke\Subdomain.cpp
- 83 Complexity
- 6.38 Complexity / M
- 864 Duplication
- 1 Churn
- 444 Lines
- 329 Lines of Code
- 13 Methods
- 25.31 LOC / Method
{{getIssueFilterCount()}}
Autofix is being processed.
Sort issues by weight
See most recent first
Create group issue on {{Issues[0].ProviderName}}
Create group comment on {{Issues[0].ProviderName}}
No issues found
“
People think that computer science is the art of geniuses but the actual reality is the opposite, just many people doing things that build on each other, like a wall of mini stones.
