예제 #1
0
파일: Main.cs 프로젝트: pstjuste/brunet
    public static int Main(string []args)
    {
      RegressionParameters p = new RegressionParameters("RegressionTest", "RegressionTest - Tests for discovering regressions in Brunet");
      if(p.Parse(args) != 0) {
        Console.WriteLine(p.ErrorMessage);
        p.ShowHelp();
        return -1;
      } else if(p.Help) {
        p.ShowHelp();
        return -1;
      }

      RegressionTest test = null;
      switch(p.Test.ToLower()) {
        case "system":
          test = new SystemTest(p);
          break;
        case "nat":
          test = new NatTest(p);
          break;
        default:
          Console.WriteLine("Invalid test: " + p.Test);
          p.ShowHelp();
          return -1;
      }

      test.Start();
      return 0;
    }
예제 #2
0
 public SystemTest(RegressionParameters p) : base(p)
 {
   _tests = new Test[] { Normal };
 }
예제 #3
0
파일: NatTest.cs 프로젝트: pstjuste/brunet
 public NatTest(RegressionParameters p) : base(p)
 {
   _tests = new Test[] { SymToRstAndAndOutOnlyToPublic, SymToRstAndAndOutOnlyToOutOnly, Restricted, Public, Cone };
 }