Storm

Contents

Storm#

Storm can either be run directly or via Docker.

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

Interface to Storm.

environment = None#: Environment variables for execution.

executable#: Path to the executable.

invoke(arguments, *, timeout=None)[source]#: Runs storm with the provided arguments.

class momba.tools.storm.StormChecker(toolset: momba.tools.storm.Toolset, engine: str = 'dd')[source]#

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

class momba.tools.storm_docker.Toolset(client=None, tag='travis')[source]#

Interface to Storm running in a Docker container.

run(arguments, mounts=())[source]#: Runs storm with the provided arguments and mounts.

class momba.tools.storm_docker.StormChecker(toolset, engine='dd')[source]#

Checker implementation for Storm running in Docker.

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

engine = 'dd'#: The engine to use.

toolset#: The toolset to use.