From 2f983851a140ba2b1c6732ff721c7871d18902e8 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Tue, 24 Jul 2018 13:39:07 -0700 Subject: [PATCH] remove redundant sets --- src/Test/buildconstraintstest.cc | 2 -- src/Test/ltelemconsttest.cc | 2 -- 2 files changed, 4 deletions(-) diff --git a/src/Test/buildconstraintstest.cc b/src/Test/buildconstraintstest.cc index e2319f5..4740433 100644 --- 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 91d169d..74b4569 100644 --- 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); -- 2.34.1