libyul/optimiser/SMTSolver.cpp at develop - RohanMKells/solidity

develop

solidity

A

libyul\optimiser\SMTSolver.cpp

22 Complexity
1.47 Complexity / M
0 Duplication
1 Churn
160 Lines
123 Lines of Code
15 Methods
8.2 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

“

The most important property of a program is whether it accomplishes the intention of its user.

– C.A.R. Hoare