Test::Z3SolverTests Class Reference

Inheritance diagram for Test::Z3SolverTests:

Protected Member Functions
	Z3SolverTests (const char *condition, const char *equation)
virtual void	SetUp ()

Protected Attributes
std::string	condition
std::string	equation
const IR::Expression *	expression = nullptr
const IR::AssignmentStatement *	variableValue = nullptr