C# (CSharp) SamplingUnitTest SampleUtil.TestTWise示例

示例#1

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

 public void TestTWise()
 {
     setupEnvironment();
     Assert.True(SampleUtil.TestTWise("z3", 602, 3));
 }

示例#2

 public void TestTWise()
 {
     Assert.True(SampleUtil.TestTWise("msSolver", EXPECTED_T_WISE_3, 3));
     Assert.True(SampleUtil.TestTWise("msSolver", EXPECTED_T_WISE_2, 2));
 }