remove redundant sets

diff --git a/src/Test/buildconstraintstest.cc b/src/Test/buildconstraintstest.cc
index e2319f5a7b58f69428752513c38f29b9fcb04616..47404330e7d211597e1a9a5af852f6bd06475390 100644 (file)
--- a/src/Test/buildconstraintstest.cc
+++ b/src/Test/buildconstraintstest.cc
@@ -27,8 +27,6 @@ int main(int numargs, char **argv) {
        BooleanEdge b = solver->applyPredicate(equals, inputs, 2);
        solver->addConstraint(b);
 
-       uint64_t set2[] = {2, 3};
-       Set *rangef1 = solver->createSet(1, set2, 2);
        Function *f1 = solver->createFunctionOperator(SATC_ADD, setbig, SATC_IGNORE);
 
        Table *table = solver->createTable(s);

diff --git a/src/Test/ltelemconsttest.cc b/src/Test/ltelemconsttest.cc
index 91d169d2744ce08295ab6a6343c30190f762720b..74b456963a87e6c73c96f82b0f305d10965ed84e 100644 (file)
--- a/src/Test/ltelemconsttest.cc
+++ b/src/Test/ltelemconsttest.cc
@@ -7,9 +7,7 @@
  */
 int main(int numargs, char **argv) {
        CSolver *solver = new CSolver();
-       uint64_t set1[] = {5};
        uint64_t set3[] = {1, 3, 4, 6};
-       Set *s1 = solver->createSet(0, set1, 1);
        Set *s3 = solver->createSet(0, set3, 4);
        Element *e1 = solver->getElementConst(4, 5);
        Element *e2 = solver->getElementVar(s3);