Method setModelCheckerSettings

libsolidity/interface/CompilerStack.cpp:260–264

}

void CompilerStack::setModelCheckerSettings(ModelCheckerSettings _settings)
{
	solAssert(m_stackState < ParsedAndImported, "Must set model checking settings before parsing.");
	m_modelCheckerSettings = _settings;
}

void CompilerStack::selectContracts(ContractSelection const& _selectedContracts)
{