P4C
The P4 Compiler
|
#include <test_backend_configuration.h>
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. | |
Configuration parameters for P4Testgen test back ends. These parameters may influence how tests are generated.
OptionalFilePath P4::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.
int64_t P4::P4Tools::P4Testgen::TestBackendConfiguration::maxTests = 1 |
The maximum number of tests to produce. Defaults to one test.
std::optional<unsigned int> P4::P4Tools::P4Testgen::TestBackendConfiguration::seed |
The initial seed used to generate tests. If it is not set, no seed was used.
cstring P4::P4Tools::P4Testgen::TestBackendConfiguration::testBaseName |
The base name of the test.