import static org.junit.Assert.*;
import org.junit.After;
import org.junit.Before;
import org.junit.Test;

/**
 * The test class WhenZExprTest.
 *
 * @author  (your name)
 * @version (a version number or a date)
 */
public class WhenZExprTest {
    
    @Test
    public void equalsTest() {
      WhenZExpr e1 = new WhenZExpr( new Num(3), new Num(4), new Num(5) );
      WhenZExpr e2 = new WhenZExpr( new Num(3), new Num(4), new Num(5) );
      WhenZExpr e3 = new WhenZExpr( new Num(7), new Num(4), new Num(5) );
      assertEquals(e1,e1);
      assertEquals(e1,e2);
      assertFalse( e1.equals(e3) );
      assertEquals( e1.hashCode(), e1.hashCode() );
      assertEquals( e1.hashCode(), e2.hashCode() );
      assertFalse(  e1.hashCode() == e3.hashCode() );
      }
    
    }