import org.junit.* ;
import Sequenic.T2.* ;

public class T2TestSuite {

  // absolute path to the location of the tool-home
  //static String ToolHOME = "C:/cygwin/home/underdark" ;
  static String ToolHOME = "/media/sf_T2benchmark/testingtools/t2" ;
  static String TRFILEPath  = ToolHOME + "/temp/data" ;
  static String LogFILEPath = ToolHOME + "/temp/data" ;
  
   @Test
   /**
    * Testing with pre-generated random traces of length-3
    */
   public void test_3rnd() {
       Sequenic.T2.Main.Junit("-R " 
        + TRFILEPath + "/3rnd.tr --tmax=-1 "
        + "--silent "
        + "--outfile=" + LogFILEPath + "/3rnd.xlog") ;
   }
  
   @Test
   /**
    * Testing with pre-generated random traces of length-3, but 
    * with the search-mode turned on.
    */
   public void test_3search() {
          Sequenic.T2.Main.Junit("-R " 
        + TRFILEPath + "/3search.tr --tmax=-1 "
        + "--silent "
        + "--outfile=" + LogFILEPath + "/3search.xlog") ;
   }
   
   @Test
   /**
    * Testing with pre-generated traces of length-8; they were
    * generated using a combinatoric approach.
    */
   public void test_8combin() {
        Sequenic.T2.Main.Junit("-R " 
        + TRFILEPath + "/8combin.tr --tmax=-1 "
        + "--silent "
        + "--outfile=" + LogFILEPath + "/8combin.xlog") ;
   }
   
   
   @Test
   public void test_10rnd() {
        Sequenic.T2.Main.Junit("-R " 
        + TRFILEPath + "/10rnd.tr --tmax=-1 "
        + "--silent "
        + "--outfile=" + LogFILEPath + "/10rnd.xlog") ;
   }
   
   @Test
   public void test_10search() {
        Sequenic.T2.Main.Junit("-R " 
        + TRFILEPath + "/10search.tr --tmax=-1 "
        + "--silent "
        + "--outfile=" + LogFILEPath + "/10search.xlog") ;
   }
   
   @Test
   public void test_20rnd() {
        Sequenic.T2.Main.Junit("-R " 
        + TRFILEPath + "/20rnd.tr --tmax=-1 "
        + "--silent "
        + "--outfile=" + LogFILEPath + "/20rnd.xlog") ;
   }
   
   @Test
   public void test_20search() {
        Sequenic.T2.Main.Junit("-R " 
        + TRFILEPath + "/20search.tr --tmax=-1 "
        + "--silent "
        + "--outfile=" + LogFILEPath + "/20search.xlog") ;
   }
}