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

Method valueAtIndex

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

Source from the content-addressed store, hash-verified

2538}
2539
2540smtutil::Expression SMTEncoder::valueAtIndex(VariableDeclaration const& _decl, unsigned _index) const
2541{
2542 solAssert(m_context.knownVariable(_decl), "");
2543 return m_context.variable(_decl)->valueAtIndex(_index);
2544}
2545
2546bool SMTEncoder::createVariable(VariableDeclaration const& _varDecl)
2547{

Callers 7

addNondetCallsMethod · 0.45
currentEqualInitialVarsConstraintsMethod · 0.45
valueMethod · 0.45
thisAddressMethod · 0.45
stateVariablesAtIndexFunction · 0.45
currentFunctionVariablesForDefinitionFunction · 0.45
visitGasLeftMethod · 0.45

Calls 2

knownVariableMethod · 0.80
variableMethod · 0.80

Tested by

no test coverage detected