| 169 | /// Global variables and functions. |
| 170 | |
| 171 | std::shared_ptr<SymbolicVariable> EncodingContext::globalSymbol(std::string const& _name) |
| 172 | { |
| 173 | solAssert(knownGlobalSymbol(_name), ""); |
| 174 | return m_globalContext.at(_name); |
| 175 | } |
| 176 | |
| 177 | bool EncodingContext::createGlobalSymbol(std::string const& _name, frontend::Expression const& _expr) |
| 178 | { |
no test coverage detected