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

Method contextContract

libsolidity/formal/Predicate.cpp:103–106  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

101}
102
103ContractDefinition const* Predicate::contextContract() const
104{
105 return m_contractContext;
106}
107
108ContractDefinition const* Predicate::programContract() const
109{

Callers 1

collectInvariantsFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected