test/formal/util.py at develop - RohanMKells/solidity

develop

solidity

A

test\formal\util.py

9 Complexity
1.29 Complexity / M
0 Duplication
1 Churn
42 Lines
35 Lines of Code
7 Methods
5 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