P4C
The P4 Compiler
Loading...
Searching...
No Matches
modules/testgen/test/lib/taint.h
1#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_TEST_LIB_TAINT_H_
2#define BACKENDS_P4TOOLS_MODULES_TESTGEN_TEST_LIB_TAINT_H_
3
4#include "backends/p4tools/modules/testgen/test/gtest_utils.h"
5
6namespace Test {
7
9class TaintTest : public P4ToolsTest {};
10
11} // namespace Test
12
13#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_TEST_LIB_TAINT_H_ */
Test::P4ToolsTest
GTest for P4 Tools tests.
Definition gtest_utils.h:52
Test::TaintTest
Helper methods to build configurations for Taint Tests.
Definition modules/testgen/test/lib/taint.h:9