|
| Bmv2TestBackend (const Bmv2V1ModelProgramInfo &programInfo, const TestBackendConfiguration &testBackendConfiguration, SymbolicExecutor &symbex) |
|
const TestSpec * | createTestSpec (const ExecutionState *executionState, const Model *finalModel, const TestInfo &testInfo) override |
|
TestBackEnd::TestInfo | produceTestInfo (const ExecutionState *executionState, const Model *finalModel, const IR::Expression *outputPacketExpr, const IR::Expression *outputPortExpr, const std::vector< std::reference_wrapper< const TraceEvent > > *programTraces) override |
|
| TestBackEnd (const TestBackEnd &)=default |
|
| TestBackEnd (TestBackEnd &&)=default |
|
std::optional< std::reference_wrapper< const FinalState > > | computeConcolicVariables (const FinalState &state) const |
|
float | getCoverage () const |
| Returns coverage achieved by all the processed tests.
|
|
const ProgramInfo & | getProgramInfo () const |
| Returns the program info.
|
|
const TestBackendConfiguration & | getTestBackendConfiguration () const |
| Returns the configuration options for the test back end.
|
|
int64_t | getTestCount () const |
| Returns test count.
|
|
const AbstractTestList & | getTests () const |
|
TestBackEnd & | operator= (const TestBackEnd &)=delete |
|
TestBackEnd & | operator= (TestBackEnd &&)=delete |
|
virtual bool | printTestInfo (const ExecutionState *executionState, const TestInfo &testInfo, const IR::Expression *outputPortExpr) |
|
virtual bool | run (const FinalState &state) |
| The callback that is executed by the symbolic executor.
|
|