/*
 * This file was automatically generated by EvoSuite
 * Fri Jun 08 17:15:19 GMT 2018
 */

package uk.ac.sanger.artemis.circular.digest;

import org.junit.Test;
import static org.junit.Assert.*;
import java.util.List;
import org.evosuite.runtime.EvoRunner;
import org.evosuite.runtime.EvoRunnerParameters;
import org.evosuite.runtime.testdata.EvoSuiteFile;
import org.evosuite.runtime.testdata.FileSystemHandling;
import org.junit.runner.RunWith;
import uk.ac.sanger.artemis.circular.digest.EmbossDigestParser;

@RunWith(EvoRunner.class) @EvoRunnerParameters(mockJVMNonDeterminism = true, useVFS = true, useVNET = true, resetStaticState = true, separateClassLoader = false, useJEE = true) 
public class EmbossDigestParser_ESTest extends EmbossDigestParser_ESTest_scaffolding {

  @Test(timeout = 4000)
  public void test0()  throws Throwable  {
      EmbossDigestParser embossDigestParser0 = new EmbossDigestParser();
      EvoSuiteFile evoSuiteFile0 = new EvoSuiteFile("REBASE/embossre.enz");
      FileSystemHandling.appendStringToFile(evoSuiteFile0, "#BebL");
      embossDigestParser0.setEmbossDir("");
      embossDigestParser0.afterPropertiesSet();
      List<String> list0 = embossDigestParser0.getDigests();
      assertTrue(list0.isEmpty());
  }

  @Test(timeout = 4000)
  public void test1()  throws Throwable  {
      EmbossDigestParser embossDigestParser0 = new EmbossDigestParser();
      EvoSuiteFile evoSuiteFile0 = new EvoSuiteFile("=|qebLcREBASE/embossre.enz");
      FileSystemHandling.appendStringToFile(evoSuiteFile0, "=|qebLc");
      embossDigestParser0.setEmbossDir("=|qebLc");
      FileSystemHandling.appendLineToFile(evoSuiteFile0, "\t");
      embossDigestParser0.afterPropertiesSet();
      List<String> list0 = embossDigestParser0.getDigests();
      assertTrue(list0.contains("=|qebLc"));
  }

  @Test(timeout = 4000)
  public void test2()  throws Throwable  {
      EmbossDigestParser embossDigestParser0 = new EmbossDigestParser();
      EvoSuiteFile evoSuiteFile0 = new EvoSuiteFile("=|qebLcREBASE/embossre.enz");
      FileSystemHandling.appendStringToFile(evoSuiteFile0, "=|qebLc");
      embossDigestParser0.setEmbossDir("=|qebLc");
      embossDigestParser0.afterPropertiesSet();
  }

  @Test(timeout = 4000)
  public void test3()  throws Throwable  {
      EmbossDigestParser embossDigestParser0 = new EmbossDigestParser();
      embossDigestParser0.afterPropertiesSet();
  }
}
