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(); }