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