 |
P4C
The P4 Compiler
|
|
|
P4C
The P4 Compiler
|
|
This is the complete list of members for P4Tools::P4Testgen::TestBackEnd, including all inherited members.
| computeConcolicVariables(const FinalState &state) const | P4Tools::P4Testgen::TestBackEnd | |
| coverage | P4Tools::P4Testgen::TestBackEnd | protected |
| createTestSpec(const ExecutionState *executionState, const Model *finalModel, const TestInfo &testInfo)=0 | P4Tools::P4Testgen::TestBackEnd | pure virtual |
| getCoverage() const | P4Tools::P4Testgen::TestBackEnd | |
| getProgramInfo() const | P4Tools::P4Testgen::TestBackEnd | |
| getTestBackendConfiguration() const | P4Tools::P4Testgen::TestBackEnd | |
| getTestCount() const | P4Tools::P4Testgen::TestBackEnd | |
| getTests() const | P4Tools::P4Testgen::TestBackEnd | inline |
| maxTests | P4Tools::P4Testgen::TestBackEnd | protected |
| needsToTerminate(int64_t testCount) const (defined in P4Tools::P4Testgen::TestBackEnd) | P4Tools::P4Testgen::TestBackEnd | protected |
| operator=(const TestBackEnd &)=delete (defined in P4Tools::P4Testgen::TestBackEnd) | P4Tools::P4Testgen::TestBackEnd | |
| operator=(TestBackEnd &&)=delete (defined in P4Tools::P4Testgen::TestBackEnd) | P4Tools::P4Testgen::TestBackEnd | |
| printTestInfo(const ExecutionState *executionState, const TestInfo &testInfo, const IR::Expression *outputPortExpr) | P4Tools::P4Testgen::TestBackEnd | virtual |
| produceTestInfo(const ExecutionState *executionState, const Model *finalModel, const IR::Expression *outputPacketExpr, const IR::Expression *outputPortExpr, const std::vector< std::reference_wrapper< const TraceEvent > > *programTraces) | P4Tools::P4Testgen::TestBackEnd | virtual |
| run(const FinalState &state) | P4Tools::P4Testgen::TestBackEnd | virtual |
| symbex | P4Tools::P4Testgen::TestBackEnd | protected |
| TestBackEnd(const ProgramInfo &programInfo, const TestBackendConfiguration &testBackendConfiguration, SymbolicExecutor &symbex) (defined in P4Tools::P4Testgen::TestBackEnd) | P4Tools::P4Testgen::TestBackEnd | explicitprotected |
| TestBackEnd(const TestBackEnd &)=default (defined in P4Tools::P4Testgen::TestBackEnd) | P4Tools::P4Testgen::TestBackEnd | |
| TestBackEnd(TestBackEnd &&)=default (defined in P4Tools::P4Testgen::TestBackEnd) | P4Tools::P4Testgen::TestBackEnd | |
| tests | P4Tools::P4Testgen::TestBackEnd | protected |
| testWriter | P4Tools::P4Testgen::TestBackEnd | protected |
| ~TestBackEnd()=default (defined in P4Tools::P4Testgen::TestBackEnd) | P4Tools::P4Testgen::TestBackEnd | virtual |