MCPcopy Create free account
hub / github.com/argotorg/solidity / underlyingType

Method underlyingType

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

Source from the content-addressed store, hash-verified

2760}
2761
2762Type const* SMTEncoder::underlyingType(Type const* _type)
2763{
2764 if (auto userType = dynamic_cast<UserDefinedValueType const*>(_type))
2765 _type = &userType->underlyingType();
2766 return _type;
2767}
2768
2769TypePointers SMTEncoder::replaceUserTypes(TypePointers const& _types)
2770{

Callers 15

buildBytesConcatFunctionsMethod · 0.45
buildABIFunctionsMethod · 0.45
replaceUserTypesMethod · 0.45
smtSortFunction · 0.45
smtKindFunction · 0.45
isSupportedTypeFunction · 0.45
newSymbolicVariableFunction · 0.45
minValueFunction · 0.45
maxValueFunction · 0.45
zeroValueFunction · 0.45
isSignedFunction · 0.45
typeBvSizeAndSignednessFunction · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected