P4C
The P4 Compiler
Loading...
Searching...
No Matches
test_backend_configuration.h
1/*
2 * SPDX-FileCopyrightText: 2024 The P4 Language Consortium
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_LIB_TEST_BACKEND_CONFIGURATION_H_
8#define BACKENDS_P4TOOLS_MODULES_TESTGEN_LIB_TEST_BACKEND_CONFIGURATION_H_
9
10#include <filesystem>
11#include <optional>
12
13#include "lib/cstring.h"
14
15namespace P4::P4Tools::P4Testgen {
16
18using OptionalFilePath = std::optional<std::filesystem::path>;
19
25
27 int64_t maxTests = 1;
28
31 OptionalFilePath fileBasePath;
32
34 std::optional<unsigned int> seed;
35};
36
37} // namespace P4::P4Tools::P4Testgen
38
39#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_LIB_TEST_BACKEND_CONFIGURATION_H_ */
Definition cstring.h:85
Definition test_backend_configuration.h:22
cstring testBaseName
The base name of the test.
Definition test_backend_configuration.h:24
OptionalFilePath fileBasePath
Definition test_backend_configuration.h:31
int64_t maxTests
The maximum number of tests to produce. Defaults to one test.
Definition test_backend_configuration.h:27
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:34