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

Method currentValue

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

Source from the content-addressed store, hash-verified

2532}
2533
2534smtutil::Expression SMTEncoder::currentValue(VariableDeclaration const& _decl) const
2535{
2536 solAssert(m_context.knownVariable(_decl), "");
2537 return m_context.variable(_decl)->currentValue();
2538}
2539
2540smtutil::Expression SMTEncoder::valueAtIndex(VariableDeclaration const& _decl, unsigned _index) const
2541{

Callers 15

endVisitMethod · 0.45
visitMethod · 0.45
visitAssertMethod · 0.45
visitDeploymentMethod · 0.45
internalFunctionCallMethod · 0.45
addNondetCallsMethod · 0.45
nondetCallMethod · 0.45
externalFunctionCallMethod · 0.45
externalFunctionCallToTrustedCodeMethod · 0.45
defineInterfacesAndSummariesMethod · 0.45
defineExternalFunctionInterfaceMethod · 0.45
defineContractInitializerMethod · 0.45

Calls 2

knownVariableMethod · 0.80
variableMethod · 0.80

Tested by

no test coverage detected