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

Function initialStateVariables

libsolidity/formal/PredicateInstance.cpp:119–122  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

117/// Helpers
118
119std::vector<smtutil::Expression> initialStateVariables(ContractDefinition const& _contract, EncodingContext& _context)
120{
121 return stateVariablesAtIndex(0, _contract, _context);
122}
123
124std::vector<smtutil::Expression> stateVariablesAtIndex(unsigned _index, ContractDefinition const& _contract, EncodingContext& _context)
125{

Callers 3

interfacePreFunction · 0.85
constructorFunction · 0.85
currentFunctionVariablesForDefinitionFunction · 0.85

Calls 1

stateVariablesAtIndexFunction · 0.85

Tested by

no test coverage detected