Inheritance diagram for Test::Z3SolverSatisfiabilityChecks:

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

Member Function Documentation

◆ testCheckSat()

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

inline

Checks whether the result of the solver calculating

Parameters

expression	matches
expectedResult.