1#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_TEST_GTEST_UTILS_H_
2#define BACKENDS_P4TOOLS_MODULES_TESTGEN_TEST_GTEST_UTILS_H_
4#include <gtest/gtest.h>
9#include "backends/p4tools/common/compiler/compiler_result.h"
10#include "frontends/common/options.h"
13namespace P4::P4Tools::Test {
19 static std::optional<const P4ToolsTestCase>
create(std::string deviceName, std::string archName,
20 CompilerOptions::FrontendVersion langVersion,
21 const std::string &source);
24 static std::optional<const P4ToolsTestCase>
create_14(std::string deviceName,
26 const std::string &source);
29 static std::optional<const P4ToolsTestCase>
create_16(std::string deviceName,
31 const std::string &source);
36 [[nodiscard]]
const IR::P4Program &
getProgram()
const;
44 std::reference_wrapper<const P4Tools::CompilerResult> compilerResults;
47 static void ensureInit();
55 const IR::SymbolicVariable *preorder(IR::Member *member)
override;