Searched refs:txOrigin (Results 1 – 1 of 1) sorted by relevance
850 auto txOrigin = state().txMember("tx.origin"); in externalFunctionCallToTrustedCode() local857 m_context.addAssertion(state().txMember("tx.origin") == txOrigin); in externalFunctionCallToTrustedCode()