Test::ArithmTest::Z3SolverAddSat01 Class Reference

Inheritance diagram for Test::ArithmTest::Z3SolverAddSat01:

Additional Inherited Members
Protected Member Functions inherited from Test::Z3SolverSatTests
	Z3SolverSatTests (const char *condition, const char *equation)
void	SetUp () override
Protected Attributes inherited from Test::Z3SolverSatTests
std::string	condition
std::string	equation
const IR::Expression *	expression = nullptr
const IR::AssignmentStatement *	variableValue = nullptr