File SMTEncoder.cpp

libsolidity/formal/SMTEncoder.cpp:None–None · view source on GitHub ↗

Source from the content-addressed store, hash-verified

1	/*
2	This file is part of solidity.
3
4	solidity is free software: you can redistribute it and/or modify

nothing calls this directly

isInlineArrayMethod · 0.80

definedFunctionsMethod · 0.80

isConstructorMethod · 0.80

hasEqualParameterTypesMethod · 0.80

asExternallyCallableFunctionMethod · 0.80

insertMethod · 0.80

atMethod · 0.80

FunctionTypeClass · 0.50

sizeMethod · 0.45

getMethod · 0.45

countMethod · 0.45

nameMethod · 0.45

no test coverage detected