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