Test::Z3Test::Z3SolverAdd Class Reference

Inheritance diagram for Test::Z3Test::Z3SolverAdd:

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