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

Method popSolver

libsolidity/formal/EncodingContext.cpp:209–213  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

207}
208
209void EncodingContext::popSolver()
210{
211 solAssert(!m_assertions.empty(), "");
212 m_assertions.pop_back();
213}
214
215void EncodingContext::addAssertion(smtutil::Expression const& _expr)
216{

Callers 3

setCurrentBlockMethod · 0.80
visitMethod · 0.80
endVisitMethod · 0.80

Calls 1

emptyMethod · 0.45

Tested by

no test coverage detected