List view
libsolidity\formal\Predicate.cpp
- 64 Complexity
- 3.05 Complexity / M
- 0 Duplication
- 5 Churn
- 410 Lines
- 315 Lines of Code
- 21 Methods
- 15 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
“
Always code as if the guy who ends up maintaining your code will be a violent psychopath who knows where you live.
