p4c/testgen_2targets_2bmv2_2register_8h_source.html

#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_REGISTER_H_

#define BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_REGISTER_H_


#include "backends/p4tools/common/p4ctool.h"


#include "backends/p4tools/modules/testgen/options.h"

#include "backends/p4tools/modules/testgen/targets/bmv2/target.h"

#include "backends/p4tools/modules/testgen/testgen.h"


namespace P4::P4Tools::P4Testgen {


inline void bmv2RegisterTestgenTarget() { Bmv2::Bmv2V1ModelTestgenTarget::make(); }


}  // namespace P4::P4Tools::P4Testgen


#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_REGISTER_H_ */

P4::P4Tools::P4Testgen::Bmv2::Bmv2V1ModelTestgenTarget::make
static void make()
Registers this target.
Definition p4tools/modules/testgen/targets/bmv2/target.cpp:36