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 TRFILEPath  = ToolHOME + "/temp/testcases" ;
  static String LogFILEPath = ToolHOME + "/temp/testcases" ;
  
   @Test
   /**
    * Testing with pre-generated random traces of length-3
    */
   public void test_3rnd() {
       Main.Junit("-R " 
        + TRFILEPath + "/3rnd.tr --tmax=-1 "
        + "--outfile=" + LogFILEPath + "/3rnd.log") ;
   }
   
   @Test
   /**
    * Testing with pre-generated random traces of length-3, but 
    * with the search-mode turned on.
    */
   public void test_3search() {
       Main.Junit("-R " 
        + TRFILEPath + "/3search.tr --tmax=-1 "
        + "--outfile=" + LogFILEPath + "/3search.log") ;
   }
   
   @Test
   /**
    * Testing with pre-generated traces of length-8; they were
    * generated using a combinatoric approach.
    */
   public void test_8combin() {
       Main.Junit("-R " 
        + TRFILEPath + "/8combin.tr --tmax=-1 "
        + "--outfile=" + LogFILEPath + "/8combin.log") ;
   }
   
   
   @Test
   public void test_10rnd() {
       Main.Junit("-R " 
        + TRFILEPath + "/10rnd.tr --tmax=-1 "
        + "--outfile=" + LogFILEPath + "/10rnd.log") ;
   }
   
   @Test
   public void test_10search() {
       Main.Junit("-R " 
        + TRFILEPath + "/10search.tr --tmax=-1 "
        + "--outfile=" + LogFILEPath + "/10search.log") ;
   }
   
   @Test
   public void test_20rnd() {
       Main.Junit("-R " 
        + TRFILEPath + "/20rnd.tr --tmax=-1 "
        + "--outfile=" + LogFILEPath + "/20rnd.log") ;
   }
   
   @Test
   public void test_20search() {
       Main.Junit("-R " 
        + TRFILEPath + "/20search.tr --tmax=-1 "
        + "--outfile=" + LogFILEPath + "/20search.log") ;
   }

}