P4Tools::P4Testgen::SmallStepEvaluator Class Reference

Classes
struct	Branch

Public Types
using	Result = std::vector<Branch> *

Public Member Functions
	SmallStepEvaluator (AbstractSolver &solver, const ProgramInfo &programInfo)
Result	step (ExecutionState &state)

Static Public Attributes
static constexpr uint64_t	MAX_GUARD_VIOLATIONS = 100

Friends
class	CommandVisitor

Detailed Description

The main class that implements small-step operational semantics. Delegates to implementations of AbstractStepper.

Member Data Documentation

MAX_GUARD_VIOLATIONS

constexpr uint64_t P4Tools::P4Testgen::SmallStepEvaluator::MAX_GUARD_VIOLATIONS = 100

staticconstexpr

Specifies how many times a guard can be violated in the interpreter until it throws an error.