/*
 * This file was automatically generated by EvoSuite
 * Thu Sep 20 14:27:33 GMT 2018
 */

package uk.ac.sanger.artemis.io;

import org.junit.Test;
import static org.junit.Assert.*;
import static org.evosuite.runtime.EvoAssertions.*;
import org.evosuite.runtime.EvoRunner;
import org.evosuite.runtime.EvoRunnerParameters;
import org.junit.runner.RunWith;
import uk.ac.sanger.artemis.io.UpperInteger;

@RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, useJEE = true) 
public class UpperInteger_ESTest extends UpperInteger_ESTest_scaffolding {

  @Test(timeout = 4000)
  public void test0()  throws Throwable  {
      Integer integer0 = new Integer(1);
      UpperInteger upperInteger0 = new UpperInteger(integer0);
  }

  @Test(timeout = 4000)
  public void test1()  throws Throwable  {
      UpperInteger upperInteger0 = new UpperInteger(0);
      int int0 = upperInteger0.getPosition();
      assertEquals(0, int0);
  }

  @Test(timeout = 4000)
  public void test2()  throws Throwable  {
      UpperInteger upperInteger0 = new UpperInteger(3284);
      int int0 = upperInteger0.getPosition();
      assertEquals(3284, int0);
  }

  @Test(timeout = 4000)
  public void test3()  throws Throwable  {
      UpperInteger upperInteger0 = new UpperInteger((-1));
      int int0 = upperInteger0.getPosition();
      assertEquals((-1), int0);
  }

  @Test(timeout = 4000)
  public void test4()  throws Throwable  {
      UpperInteger upperInteger0 = null;
      try {
        upperInteger0 = new UpperInteger((Integer) null);
        fail("Expecting exception: NullPointerException");
      
      } catch(NullPointerException e) {
         //
         // no message in exception (getMessage() returned null)
         //
         verifyException("uk.ac.sanger.artemis.io.UpperInteger", e);
      }
  }

  @Test(timeout = 4000)
  public void test5()  throws Throwable  {
      UpperInteger upperInteger0 = new UpperInteger(2546);
      String string0 = upperInteger0.toString();
      assertEquals(">2546", string0);
  }
}
