P4::P4Tools::Test::SmallStepTest Class Reference

Inheritance diagram for P4::P4Tools::Test::SmallStepTest:

Static Public Member Functions
static ExecutionState	mkState (Body body)
	Creates an execution state out of a continuation body.