| 308 | } |
| 309 | |
| 310 | void CompilerStack::selectDebugInfo(DebugInfoSelection _debugInfoSelection) |
| 311 | { |
| 312 | solAssert(m_stackState < CompilationSuccessful, "Must select debug info components before compilation."); |
| 313 | m_debugInfoSelection = _debugInfoSelection; |
| 314 | } |
| 315 | |
| 316 | void CompilerStack::addSMTLib2Response(h256 const& _hash, std::string const& _response) |
| 317 | { |
no outgoing calls