C# (CSharp) SamplingUnitTest SampleUtil.TestDistributionAwareSolverSelection 예제들

예제 #1

파일: Z3SamplingTest.cs 프로젝트: smba/SPLConqueror

 public void TestDistributionAwareSolverSelection()
 {
     Assert.True(SampleUtil.TestDistributionAwareSolverSelection("z3", 217,
                                                                 0, "SolverSelection", "True"));
 }

예제 #2

 public void TestDistributionAwareSolverSelection()
 {
     Assert.True(SampleUtil.TestDistributionAwareSolverSelection("msSolver", EXPECTED_DIST_AW_SOLVER
                                                                 , 0, "SolverSelection", "True"));
 }