Esempi in C# (CSharp) per SamplingUnitTest SampleUtil.TestOneFactorAtATime

Esempio n. 1

File: Z3SamplingTest.cs Progetto: smba/SPLConqueror

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

Esempio n. 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));
 }