public RegressionTest(RegressionParameters p)
{
_parameters = p;
_db_con = String.Format("URI=file:{0},version=3", p.Output);
InitializeDatabase();
SetupResultTable();
}
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 };
}
/// <summary>Copy constructor.</summary>
public RegressionParameters(RegressionParameters copy) : base(copy)
{
_iterations = copy.Iterations;
_test = copy.Test;
}
public NatTest(RegressionParameters p) : base(p)
{
_tests = new Test[] { SymToRstAndAndOutOnlyToPublic, SymToRstAndAndOutOnlyToOutOnly, Restricted, Public, Cone };
}