Function smc_storm::parser::parseJaniModelAndProperties

• Defined in File parsers.hpp

Function Documentation

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

Given the ScmSettings referring to a Jani model, generate the model and properties to be used in 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