Fixing some bugs ...

[satune.git] / src / Test / tablefuncencodetest.c

diff --git a/src/Test/tablefuncencodetest.c b/src/Test/tablefuncencodetest.c
index 13337ea84a53088b727b435048d2b24a869a3164..12a589e083f651466d089d0e17dd80d840660363 100644 (file)
--- a/src/Test/tablefuncencodetest.c
+++ b/src/Test/tablefuncencodetest.c
@@ -5,10 +5,10 @@
  * e3= f(e1, e2) 
  *     1 5 => 7
  *     2 3 => 5
- *     1 7 => 1
- *     2 7 => 2
+ *     1 7 => 3
+ *     2 7 => 5
  *     2 5 => 3
- *     1 3 => 4
+ *     1 3 => 5
  * e4 = {6, 10, 19}
  * e4 <= e3
  * Result: e1=1, e2=5, e3=7, e4=6, overflow=0
@@ -36,10 +36,10 @@ int main(int numargs, char ** argv) {
        uint64_t row6[] = {1, 3};
        addTableEntry(solver, t1, row1, 2, 7);
        addTableEntry(solver, t1, row2, 2, 5);
-       addTableEntry(solver, t1, row3, 2, 1);
-       addTableEntry(solver, t1, row4, 2, 2);
+       addTableEntry(solver, t1, row3, 2, 3);
+       addTableEntry(solver, t1, row4, 2, 5);
        addTableEntry(solver, t1, row5, 2, 3);
-       addTableEntry(solver, t1, row6, 2, 4);
+       addTableEntry(solver, t1, row6, 2, 5);
        Function * f1 = completeTable(solver, t1, FLAGIFFUNDEFINED);    
        Element * e3 = applyFunction(solver, f1, (Element* []){e1,e2}, 2, overflow);