Modest Toolset

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 = 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)[source]¶

check(network, *, properties=None, property_names=None)[source]¶: Model checks the given properties on the network.

previous

Syntax-Aware Macros

next

Storm