P4::P4Tools::Test::Bmv2SmallStepTest Class Reference

BMv2-specific version of a small step test. More...

#include <gtest_utils.h>

Inheritance diagram for P4::P4Tools::Test::Bmv2SmallStepTest:

Additional Inherited Members
Static Public Member Functions inherited from P4::P4Tools::Test::SmallStepTest
static ExecutionState	mkState (Body body)
	Creates an execution state out of a continuation body.

Detailed Description

BMv2-specific version of a small step test.