P4C
The P4 Compiler
Loading...
Searching...
No Matches
targets/ebpf/concolic.h
1/*
2 * SPDX-FileCopyrightText: 2022 The P4 Language Consortium
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7#ifndef BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_EBPF_CONCOLIC_H_
8#define BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_EBPF_CONCOLIC_H_
9
10#include "backends/p4tools/modules/testgen/lib/concolic.h"
11
12namespace P4::P4Tools::P4Testgen::EBPF {
13
14class EBPFConcolic : public Concolic {
15 private:
17 static const ConcolicMethodImpls::ImplList EBPF_CONCOLIC_METHOD_IMPLS;
18
19 public:
21 static const ConcolicMethodImpls::ImplList *getEBPFConcolicMethodImpls();
22};
23
24} // namespace P4::P4Tools::P4Testgen::EBPF
25
26#endif /* BACKENDS_P4TOOLS_MODULES_TESTGEN_TARGETS_EBPF_CONCOLIC_H_ */
Definition lib/concolic.h:92
Definition targets/ebpf/concolic.h:14
static const ConcolicMethodImpls::ImplList * getEBPFConcolicMethodImpls()
Definition targets/ebpf/concolic.cpp:13