| 227 | } |
| 228 | |
| 229 | void CHCSmtLib2Interface::ScopedParser::addVariableDeclaration(std::string _name, solidity::smtutil::SortPointer _sort) |
| 230 | { |
| 231 | m_localVariables.emplace(std::move(_name), std::move(_sort)); |
| 232 | } |
| 233 | |
| 234 | std::optional<SortPointer> CHCSmtLib2Interface::ScopedParser::lookupKnownTupleSort(std::string const& _name) const |
| 235 | { |
no outgoing calls
no test coverage detected