libsmtutil/Z3CHCInterface.cpp at develop - RohanMKells/solidity

develop

solidity

A

libsmtutil\Z3CHCInterface.cpp

33 Complexity
3.3 Complexity / M
0 Duplication
1 Churn
243 Lines
162 Lines of Code
10 Methods
16.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