| 314 | } |
| 315 | |
| 316 | void CompilerStack::addSMTLib2Response(h256 const& _hash, std::string const& _response) |
| 317 | { |
| 318 | solAssert(m_stackState < ParsedAndImported, "Must add SMTLib2 responses before parsing."); |
| 319 | m_smtlib2Responses[_hash] = _response; |
| 320 | } |
| 321 | |
| 322 | void CompilerStack::reset(bool _keepSettings) |
| 323 | { |