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; }
public SystemTest(RegressionParameters p) : base(p) { _tests = new Test[] { Normal }; }
public NatTest(RegressionParameters p) : base(p) { _tests = new Test[] { SymToRstAndAndOutOnlyToPublic, SymToRstAndAndOutOnlyToOutOnly, Restricted, Public, Cone }; }