P4C
The P4 Compiler
Loading...
Searching...
No Matches
testgen/targets/ebpf/register.h
1#ifndef TESTGEN_TARGETS_EBPF_REGISTER_H_
2#define TESTGEN_TARGETS_EBPF_REGISTER_H_
3
4#include "backends/p4tools/common/p4ctool.h"
5
6#include "backends/p4tools/modules/testgen/options.h"
7#include "backends/p4tools/modules/testgen/targets/ebpf/target.h"
8#include "backends/p4tools/modules/testgen/testgen.h"
9
10namespace P4::P4Tools::P4Testgen {
11
13inline void ebpfRegisterTestgenTarget() { EBPF::EBPFTestgenTarget::make(); }
14
15} // namespace P4::P4Tools::P4Testgen
16
17#endif /* TESTGEN_TARGETS_EBPF_REGISTER_H_ */
static void make()
Registers this target.
Definition p4tools/modules/testgen/targets/ebpf/target.cpp:33