List view
libsolidity\formal\SymbolicVariables.cpp
- 50 Complexity
- 1.22 Complexity / M
- 0 Duplication
- 4 Churn
- 402 Lines
- 334 Lines of Code
- 41 Methods
- 8.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
“
The most important property of a program is whether it accomplishes the intention of its user.
