コード例 #1
0
ファイル: Z3SamplingTest.cs プロジェクト: smba/SPLConqueror
 public void TestOneFactorAtATime()
 {
     Assert.True(SampleUtil.TestOneFactorAtATime("z3", 220, 5));
 }
コード例 #2
0
 public void TestOneFactorAtATime()
 {
     Assert.True(SampleUtil.TestOneFactorAtATime("msSolver", EXPECTED_ONE_FACTOR_AT_A_TIME_5, 5));
     Assert.True(SampleUtil.TestOneFactorAtATime("msSolver", EXPECTED_ONE_FACTOR_AT_A_TIME_3, 3));
 }