C# (CSharp) SamplingUnitTest SampleUtil.TestBinaryRandom示例

示例#1

 public void TestBinaryRandom()
 {
     Assert.True(SampleUtil.TestBinaryRandom("msSolver", EXPECTED_BINARY_RANDOM_TW_15, "asTW", 15));
 }

示例#2

文件： Z3SamplingTest.cs 项目： smba/SPLConqueror

 public void TestBinaryRandom()
 {
     Assert.True(SampleUtil.TestBinaryRandom("z3", 308, "asTW2", 15));
 }

示例#3

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