P4Tools::P4Testgen::TestBackendConfiguration Struct Reference

Public Attributes
OptionalFilePath	fileBasePath
int64_t	maxTests = 1
	The maximum number of tests to produce. Defaults to one test.
std::optional< unsigned int >	seed
	The initial seed used to generate tests. If it is not set, no seed was used.
cstring	testBaseName
	The base name of the test.

Detailed Description

Configuration parameters for P4Testgen test back ends. These parameters may influence how tests are generated.

Member Data Documentation

fileBasePath

OptionalFilePath P4Tools::P4Testgen::TestBackendConfiguration::fileBasePath

The base path to be used when writing out tests. May not be set, which means no tests are written to file.

maxTests

int64_t P4Tools::P4Testgen::TestBackendConfiguration::maxTests = 1

The maximum number of tests to produce. Defaults to one test.

seed

std::optional<unsigned int> P4Tools::P4Testgen::TestBackendConfiguration::seed

The initial seed used to generate tests. If it is not set, no seed was used.

testBaseName

cstring P4Tools::P4Testgen::TestBackendConfiguration::testBaseName

The base name of the test.