computeConcolicVariables(const FinalState &state) const | P4::P4Tools::P4Testgen::TestBackEnd | |
coverage | P4::P4Tools::P4Testgen::TestBackEnd | protected |
createTestSpec(const ExecutionState *executionState, const Model *finalModel, const TestInfo &testInfo)=0 | P4::P4Tools::P4Testgen::TestBackEnd | pure virtual |
getCoverage() const | P4::P4Tools::P4Testgen::TestBackEnd | |
getProgramInfo() const | P4::P4Tools::P4Testgen::TestBackEnd | |
getTestBackendConfiguration() const | P4::P4Tools::P4Testgen::TestBackEnd | |
getTestCount() const | P4::P4Tools::P4Testgen::TestBackEnd | |
getTests() const | P4::P4Tools::P4Testgen::TestBackEnd | inline |
maxTests | P4::P4Tools::P4Testgen::TestBackEnd | protected |
needsToTerminate(int64_t testCount) const (defined in P4::P4Tools::P4Testgen::TestBackEnd) | P4::P4Tools::P4Testgen::TestBackEnd | protected |
operator=(const TestBackEnd &)=delete (defined in P4::P4Tools::P4Testgen::TestBackEnd) | P4::P4Tools::P4Testgen::TestBackEnd | |
operator=(TestBackEnd &&)=delete (defined in P4::P4Tools::P4Testgen::TestBackEnd) | P4::P4Tools::P4Testgen::TestBackEnd | |
printTestInfo(const ExecutionState *executionState, const TestInfo &testInfo, const IR::Expression *outputPortExpr) | P4::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) | P4::P4Tools::P4Testgen::TestBackEnd | virtual |
run(const FinalState &state) | P4::P4Tools::P4Testgen::TestBackEnd | virtual |
symbex | P4::P4Tools::P4Testgen::TestBackEnd | protected |
TestBackEnd(const ProgramInfo &programInfo, const TestBackendConfiguration &testBackendConfiguration, SymbolicExecutor &symbex) (defined in P4::P4Tools::P4Testgen::TestBackEnd) | P4::P4Tools::P4Testgen::TestBackEnd | explicitprotected |
TestBackEnd(const TestBackEnd &)=default (defined in P4::P4Tools::P4Testgen::TestBackEnd) | P4::P4Tools::P4Testgen::TestBackEnd | |
TestBackEnd(TestBackEnd &&)=default (defined in P4::P4Tools::P4Testgen::TestBackEnd) | P4::P4Tools::P4Testgen::TestBackEnd | |
tests | P4::P4Tools::P4Testgen::TestBackEnd | protected |
testWriter | P4::P4Tools::P4Testgen::TestBackEnd | protected |
~TestBackEnd()=default (defined in P4::P4Tools::P4Testgen::TestBackEnd) | P4::P4Tools::P4Testgen::TestBackEnd | virtual |