1#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_TEST_GTEST_UTILS_H_
2#define BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_BMV2_TEST_GTEST_UTILS_H_
4#include "backends/p4tools/modules/testgen/test/gtest_utils.h"
5#include "backends/p4tools/modules/testgen/test/small-step/util.h"
7namespace P4::P4Tools::Test {
13std::optional<const P4ToolsTestCase> createBmv2V1modelSmallStepExprTest(
14 const std::string &hdrFields,
const std::string &expr);