public void TestBinaryRandom()
{
Assert.True(SampleUtil.TestBinaryRandom("msSolver", EXPECTED_BINARY_RANDOM_TW_15, "asTW", 15));
}
public void TestBinaryRandom()
{
Assert.True(SampleUtil.TestBinaryRandom("z3", 308, "asTW2", 15));
}
public void TestBinaryRandomCCD()
{
// Test binary random with the same number of configurations as Twise 2
Assert.True(SampleUtil.TestBinaryRandom("msSolver", EXPECTED_BINARY_RANDOM_AS_TW_15, "asTW2", 15));
}