コード例 #1
0
ファイル: Z3SamplingTest.cs プロジェクト: smba/SPLConqueror
 public void TestHypersampling()
 {
     Assert.True(SampleUtil.TestHypersampling("z3", 176, 50));
 }
コード例 #2
0
 public void TestHypersampling()
 {
     Assert.True(SampleUtil.TestHypersampling("msSolver", EXPECTED_HYPERSAMPLING_50, 50));
     Assert.True(SampleUtil.TestHypersampling("msSolver", EXPECTED_HYPERSAMPLING_40, 40));
 }