/** Test of copy constructor and equality, of class Variable. */
@Test
public void testEquals() {
Variable instance2 = new Variable("a", 10);
assertFalse(instance2.equals(instance));
instance2 = new Variable("b", 10);
assertFalse(instance.equals(instance2));
instance2 = new Variable("a", 2);
assertFalse(instance.equals(instance2));
instance2 = new Variable("b", 5);
assertFalse(instance.equals(instance2));
}
/** Test of getDomain method, of class Variable. */
@Test
public void testGetDomain() {
int expResult = 10;
int result = instance.getDomain();
assertEquals(expResult, result);
}
/** Test of getName method, of class Variable. */
@Test
public void testGetName() {
String expResult = "a";
String result = instance.getName();
assertEquals(expResult, result);
}