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

/**
 * The test class IfnzTest.
 *
 * @author  (your name)
 * @version (a version number or a date)
 */
public class IfnzTest {
    
    @Test
    public void equalsTest() {
      Ifnz e1 = new Ifnz( new Num(3), new Num(4), new Num(5) );
      Ifnz e2 = new Ifnz( new Num(3), new Num(4), new Num(5) );
      Ifnz e3 = new Ifnz( 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() );
      }
    
    }