| 175 | } |
| 176 | |
| 177 | bool EncodingContext::createGlobalSymbol(std::string const& _name, frontend::Expression const& _expr) |
| 178 | { |
| 179 | solAssert(!knownGlobalSymbol(_name), ""); |
| 180 | auto result = newSymbolicVariable(*_expr.annotation().type, _name, *this); |
| 181 | m_globalContext.emplace(_name, result.second); |
| 182 | setUnknownValue(*result.second); |
| 183 | return result.first; |
| 184 | } |
| 185 | |
| 186 | bool EncodingContext::knownGlobalSymbol(std::string const& _var) const |
| 187 | { |
no test coverage detected