C# (CSharp) SamplingUnitTest SampleUtil.TestOneFactorAtATime Beispiele

Beispiel #1

Datei: Z3SamplingTest.cs Projekt: smba/SPLConqueror

 public void TestOneFactorAtATime()
 {
     Assert.True(SampleUtil.TestOneFactorAtATime("z3", 220, 5));
 }

Beispiel #2

 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));
 }