C# (CSharp) SamplingUnitTest SampleUtil.TestKExchange Examples

Example #1

File: Z3SamplingTest.cs Project: smba/SPLConqueror

 public void TestKExchange()
 {
     Assert.True(SampleUtil.TestKExchange("z3", 264, 7, 2));
 }

Example #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));
 }