private void Check()
{
List <TestAssertion> user_forced = new List <TestAssertion>();
if (UserAssumeMeasurementsIndependant)
{
user_forced.Add(TestAssertion.MeasurementsIndependant);
}
ToolsDisprove.CheckTestAssertions(requirements, user_forced, TestList);
}
public void ExecuteStart()
{
TestList.Clear();
IList <double> sample_0 = new List <double>();
string [] sample_0_split = Sample0Text.Split("\r\n".ToCharArray());
for (int index = 0; index < sample_0_split.Length; index++)
{
double parce = 0;
if (double.TryParse(sample_0_split[index], out parce))
{
sample_0.Add(parce);
}
else
{
ErrorText = "Error parcing sample 0 at line: " + index + " value: " + sample_0_split[index];
}
}
IList <double> sample_1 = new List <double>();
string[] sample_1_split = Sample1Text.Split("\r\n".ToCharArray());
for (int index = 0; index < sample_0_split.Length; index++)
{
double parce = 0;
if (double.TryParse(sample_1_split[index], out parce))
{
sample_1.Add(parce);
}
else
{
ErrorText = "Error parcing sample 1 at line: " + index + " value: " + sample_0_split[index];
}
}
IList <ModelTest> tests = ToolsDisprove.BuildTreeTwoSampleDifferent(sample_0, sample_1);
foreach (ModelTest test in tests)
{
TestList.Add(test);
}
requirements = ToolsDisprove.CheckRequirements(sample_0, sample_1);
Check();
}
