From d1a0b7b6cff4bb74c4df4ff0d0d8384db136141d Mon Sep 17 00:00:00 2001 From: Hamed Date: Fri, 14 Jul 2017 12:06:09 -0700 Subject: [PATCH] Fixing the test case's bug --- src/Test/funcencoding.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Test/funcencoding.c b/src/Test/funcencoding.c index 779eee7..40567d9 100644 --- a/src/Test/funcencoding.c +++ b/src/Test/funcencoding.c @@ -33,7 +33,7 @@ int main(int numargs, char ** argv) { Element *in2[]={e1}; Table* t2 = createTable(solver, d2, 1, s1); uint64_t row3[] = {6}; - addTableEntry(solver, t1, row3, 1, 6); + addTableEntry(solver, t2, row3, 1, 6); Function * f3 = completeTable(solver, t2); Element * e5 = applyFunction(solver, f3, in2, 1, overflow); -- 2.34.1