Supporting at-most-one constraint for One Hot encoding

[satune.git] / src / Test / anyvaluetest.cc

diff --git a/src/Test/anyvaluetest.cc b/src/Test/anyvaluetest.cc
index 1b101e3f0e9bb1bbd80a4082b0c97ab0a1ec8755..5b59f22664a91933c1035e084f732c27e3f5fd7c 100644 (file)
--- a/src/Test/anyvaluetest.cc
+++ b/src/Test/anyvaluetest.cc
@@ -3,10 +3,10 @@
 
 int main(int numargs, char **argv) {
        CSolver *solver = new CSolver();
-       uint64_t set1[] = {10, 8, 18};
-       uint64_t set2[] = {10, 13, 7};
-       Set *s1 = solver->createSet(0, set1, 3);
-       Set *s2 = solver->createSet(1, set2, 3);
+       uint64_t set1[] = {10, 8, 18, 20, 21, 22, 23, 24, 25, 26};
+       uint64_t set2[] = {10, 13, 7, 30, 31, 32};
+       Set *s1 = solver->createSet(0, set1, 10);
+       Set *s2 = solver->createSet(1, set2, 6);
        Element *e1 = solver->getElementVar(s1);
        Element *e2 = solver->getElementVar(s2);
        solver->mustHaveValue(e1);