fvm.steps module

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

class fvm.steps.Steps

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__()

Class constructor

add_post_step(framework, step, post_step, setup, run)

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

add_step(framework, step, setup, run)

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

append_step(framework, target, step, setup, run)

Appends a step after the target step.

prepend_step(framework, target, step, setup, run)

Prepends a step before the target step.