7#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_LIB_LOGGING_H_
8#define BACKENDS_P4TOOLS_MODULES_TESTGEN_LIB_LOGGING_H_
13#include "backends/p4tools/common/lib/logging.h"
14#include "backends/p4tools/common/lib/util.h"
16namespace P4::P4Tools::P4Testgen {
20template <
typename... Arguments>
21void printTraces(
const std::string &fmt, Arguments &&...args) {
22 printFeature(
"test_traces", 4, fmt, std::forward<Arguments>(args)...);
26void enableTraceLogging();
29void enableStepLogging();
32void enableCoverageLogging();