P4::Test::Z3SolverSatisfiabilityChecks Class Reference

Inheritance diagram for P4::Test::Z3SolverSatisfiabilityChecks:

Public Member Functions
void	testCheckSat (const ConstraintVector &expression, std::optional< bool > expectedResult)

Member Function Documentation

testCheckSat()

void P4::Test::Z3SolverSatisfiabilityChecks::testCheckSat ( const ConstraintVector & expression, std::optional< bool > expectedResult )

inline

Checks whether the result of the solver calculating

Parameters

expression	matches
expectedResult.