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

Method setZeroValue

libsolidity/formal/EncodingContext.cpp:112–116  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

110}
111
112void EncodingContext::setZeroValue(frontend::VariableDeclaration const& _decl)
113{
114 solAssert(knownVariable(_decl), "");
115 setZeroValue(*m_variables.at(&_decl));
116}
117
118void EncodingContext::setZeroValue(SymbolicVariable& _variable)
119{

Callers 4

endVisitMethod · 0.80
initializeFunctionCallParametersMethod · 0.80
initializeStateVariablesMethod · 0.80
initializeLocalVariablesMethod · 0.80

Calls 2

setSymbolicZeroValueFunction · 0.85
atMethod · 0.80

Tested by

no test coverage detected