fvm.steps module

Warning

Callables that are not documented in the Public API are not intented to be directly used and thus may change between minor versions.

This module defines the steps class, which is used to manage the steps and post_steps of the verification process.

class fvm.steps.Steps[source]

Bases: object

This class defines a data structure in which to store the steps and provides functions to manage it (such as adding steps and post_steps)

__init__()[source]

Class constructor

add_post_step(framework, step, post_step, setup, run)[source]

Adds a post_step to the post_steps dictionary. Fails if the step does not exist

add_step(framework, step, setup, run)[source]

Adds a step to the steps dictionary. Fails if the step already exists

append_step(framework, target, step, setup, run)[source]

Appends a step after the target step.

prepend_step(framework, target, step, setup, run)[source]

Prepends a step before the target step.