Storm

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.

previous

Modest Toolset

next

Momba Gym