Modest Toolset

The interface to the Modest Toolset.

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

Interface to the Modest Toolset.

check(arguments, *, timeout=None, capture_output=True)

Runs modest check with the provided arguments.

environment = None

Environment variables for the execution.

executable

Path to the executable of the Modest Toolset.

class momba.tools.modest.ModestChecker(toolset: momba.tools.modest.Toolset)

check(network, *, properties=None, property_names=None)

Model checks the given properties on the network.