public void TestKExchange() { Assert.True(SampleUtil.TestKExchange("z3", 264, 7, 2)); }
public void TestKExchange() { Assert.True(SampleUtil.TestKExchange("msSolver", EXPECTED_KEXCHANGE_7_2, 7, 2)); Assert.True(SampleUtil.TestKExchange("msSolver", EXPECTED_KEXCHANGE_3_1, 3, 1)); }