Modest Toolset

The interface to the Modest Toolset.

class momba.tools.modest.Toolset(executable, environment=None)[source]

Interface to the Modest Toolset.

check(arguments, *, timeout=None, capture_output=True)[source]

Runs modest check with the provided arguments.

environment: Optional[Mapping[str, str]] = None

Environment variables for the execution.

executable: Union[str, pathlib.Path]

Path to the executable of the Modest Toolset.

class momba.tools.modest.ModestChecker(toolset: momba.tools.modest.Toolset)[source]
check(network, *, properties=None, property_names=None)[source]

Model checks the given properties on the network.