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

Method pushScope

libsmtutil/CHCSmtLib2Interface.cpp:503–503  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

501 }
502
503 void pushScope() { scopeBounds.push_back(varNames.size()); }
504
505 void popScope()
506 {

Callers 1

inlineLetExpressionsFunction · 0.45

Calls 1

sizeMethod · 0.45

Tested by

no test coverage detected