Function smc_storm::parser::parseModelAndProperties

• Defined in File parsers.hpp

Function Documentation

SymbolicModelAndProperty smc_storm::parser::parseModelAndProperties(const smc_storm::settings::UserSettings &settings)

Given the ScmSettings, generate the model and properties required by the model checking engine.

Parameters:

settings – The settings object containing the path to the model and the properties to verify

Returns:

Loaded instance of the requested model and property