libsolidity/formal/BMC.cpp at 060-strict-inline-assembly - zachwylde00/remixed

060-strict-inline-assembly

remixed

A

libsolidity\formal\BMC.cpp

158 Complexity
4.65 Complexity / M
0 Duplication
1 Churn
884 Lines
734 Lines of Code
34 Methods
21.59 LOC / Method

{{getIssueFilterCount()}}

Autofix is being processed.

Found in

{{::issue.Locations[0].Path}}

Found in

{{::location.Path}}:{{::location.StartLine}}-{{::location.EndLine}} ,

{{::lineNumber}}

No issues found

“

Any fool can write code that a computer can understand. Good programmers write code that humans can understand.

– Martin Fowler