C# (CSharp) SamplingUnitTest SampleUtil.TestHypersampling示例

示例#1

文件： Z3SamplingTest.cs 项目： smba/SPLConqueror

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

示例#2

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