C# (CSharp) SamplingUnitTest SampleUtil.TestHypersampling Examples

Example #1

File: Z3SamplingTest.cs Project: smba/SPLConqueror

 public void TestHypersampling()
 {
     Assert.True(SampleUtil.TestHypersampling("z3", 176, 50));
 }

Example #2

 public void TestHypersampling()
 {
     Assert.True(SampleUtil.TestHypersampling("msSolver", EXPECTED_HYPERSAMPLING_50, 50));
     Assert.True(SampleUtil.TestHypersampling("msSolver", EXPECTED_HYPERSAMPLING_40, 40));
 }