From: bdemsky <bdemsky@uci.edu>
Date: Sat, 26 Aug 2017 06:10:32 +0000 (-0700)
Subject: Fix bogus test case
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=285392056910aa3c1696345dbfce49525656fbd2;p=satune.git

Fix bogus test case
---

diff --git a/src/Test/ltelemconsttest.cc b/src/Test/ltelemconsttest.cc
index cf3b557..4828882 100644
--- a/src/Test/ltelemconsttest.cc
+++ b/src/Test/ltelemconsttest.cc
@@ -9,7 +9,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, 3);
+	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);