P4C
The P4 Compiler
Loading...
Searching...
No Matches
test_backend_configuration.h
1#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_LIB_TEST_BACKEND_CONFIGURATION_H_
2#define BACKENDS_P4TOOLS_MODULES_TESTGEN_LIB_TEST_BACKEND_CONFIGURATION_H_
3
4#include <filesystem>
5#include <optional>
6
7#include "lib/cstring.h"
8
9namespace P4::P4Tools::P4Testgen {
10
12using OptionalFilePath = std::optional<std::filesystem::path>;
13
19
21 int64_t maxTests = 1;
22
25 OptionalFilePath fileBasePath;
26
28 std::optional<unsigned int> seed;
29};
30
31} // namespace P4::P4Tools::P4Testgen
32
33#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_LIB_TEST_BACKEND_CONFIGURATION_H_ */
Definition cstring.h:85
Definition test_backend_configuration.h:16
cstring testBaseName
The base name of the test.
Definition test_backend_configuration.h:18
OptionalFilePath fileBasePath
Definition test_backend_configuration.h:25
int64_t maxTests
The maximum number of tests to produce. Defaults to one test.
Definition test_backend_configuration.h:21
std::optional< unsigned int > seed
The initial seed used to generate tests. If it is not set, no seed was used.
Definition test_backend_configuration.h:28