| 251 | } |
| 252 | |
| 253 | void CompilerStack::setEOFVersion(std::optional<uint8_t> _version) |
| 254 | { |
| 255 | solAssert(m_stackState < CompilationSuccessful, "Must set EOF version before compiling."); |
| 256 | solAssert(!_version || _version == 1, "Invalid EOF version."); |
| 257 | m_eofVersion = _version; |
| 258 | } |
| 259 | |
| 260 | void CompilerStack::setModelCheckerSettings(ModelCheckerSettings _settings) |
| 261 | { |
no outgoing calls
no test coverage detected