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

Method knownGlobalSymbol

libsolidity/formal/EncodingContext.cpp:186–189  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

184}
185
186bool EncodingContext::knownGlobalSymbol(std::string const& _var) const
187{
188 return m_globalContext.count(_var);
189}
190
191/// Solver.
192

Callers 1

defineGlobalVariableMethod · 0.80

Calls 1

countMethod · 0.45

Tested by

no test coverage detected