| 108 | } |
| 109 | |
| 110 | void SMTEncoder::endVisit(ContractDefinition const& _contract) |
| 111 | { |
| 112 | m_context.resetAllVariables(); |
| 113 | |
| 114 | m_baseConstructorCalls.clear(); |
| 115 | |
| 116 | solAssert(m_currentContract == &_contract, ""); |
| 117 | m_currentContract = nullptr; |
| 118 | |
| 119 | if (m_callStack.empty()) |
| 120 | m_context.popSolver(); |
| 121 | } |
| 122 | |
| 123 | bool SMTEncoder::visit(ImportDirective const&) |
| 124 | { |
nothing calls this directly
no test coverage detected