List view
libsolidity\formal\SMTEncoder.cpp
- 319 Complexity
- 4.25 Complexity / M
- 0 Duplication
- 1 Churn
- 1481 Lines
- 1301 Lines of Code
- 75 Methods
- 17.35 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
“
One of my most productive days was throwing away 1000 lines of code.
