public void TestOneFactorAtATime() { Assert.True(SampleUtil.TestOneFactorAtATime("z3", 220, 5)); }
public void TestOneFactorAtATime() { Assert.True(SampleUtil.TestOneFactorAtATime("msSolver", EXPECTED_ONE_FACTOR_AT_A_TIME_5, 5)); Assert.True(SampleUtil.TestOneFactorAtATime("msSolver", EXPECTED_ONE_FACTOR_AT_A_TIME_3, 3)); }