List view
libsolidity\formal\SymbolicVariables.cpp
- 34 Complexity
- 1.21 Complexity / M
- 0 Duplication
- 21 Churn
- 263 Lines
- 212 Lines of Code
- 28 Methods
- 7.57 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
“
Good code is its own best documentation. As you’re about to add a comment, ask yourself, ‘How can I improve the code so that this comment isn’t needed?’
