From 2dddee1244dfd7cf748dcf650aa8e7329de29dbc Mon Sep 17 00:00:00 2001 From: "lperron@google.com" Date: Thu, 10 May 2012 18:17:47 +0000 Subject: [PATCH] improve example --- examples/tests/gcc_test.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/tests/gcc_test.cc b/examples/tests/gcc_test.cc index e22693d0b6..32ec16a13f 100644 --- a/examples/tests/gcc_test.cc +++ b/examples/tests/gcc_test.cc @@ -44,9 +44,8 @@ int64 TestGcc(int vsize, int csize, int slack, int seed, bool use_gcc) { card_min[index]++; card_max[index]++; } - for (int i = 0; i < slack; ++i) { - const int index = rgen.Uniform(csize); - card_max[index]++; + for (int i = 0; i < 2 * slack; ++i) { + card_max[rgen.Uniform(csize)]++; } LOG(INFO) << (use_gcc ? "Gcc constraint:" : "Distribute constraint:"); @@ -54,6 +53,7 @@ int64 TestGcc(int vsize, int csize, int slack, int seed, bool use_gcc) { LOG(INFO) << " - num values = " << csize; LOG(INFO) << " - slack = " << slack; LOG(INFO) << " - seed = " << seed; + Solver solver("TestGcc"); std::vector vars; solver.MakeIntVarArray(vsize, 0, csize - 1, &vars);