Fixing remaining toy tests.

src/test/resources/synthesis/abduct/list-copy-len-ptr.syn

@@ -17,8 +17,8 @@ void list_copy (loc r) {
     list_copy(r);
     let y12 = *r;
     let y2 = malloc(2);
-    *(y2 + 1) = nxt2;
-    *r = y2;
     *(x2 + 1) = y12;
+    *r = y2;
+    *(y2 + 1) = nxt2;
   }
 }

src/test/resources/synthesis/account/alloc-struct.syn

@@ -6,7 +6,7 @@ should be able to allocate structures
 ###
 void createAccount (loc x, int bal, int lim) {
   let y2 = malloc(2);
-  *(y2 + 1) = bal;
-  *y2 = lim;
   *x = y2;
+  *y2 = lim;
+  *(y2 + 1) = bal;
 }

src/test/resources/synthesis/entail/duplicator.syn

@@ -11,8 +11,8 @@ void duplicate(loc x, loc r)
 void duplicate (loc x, loc r) {
   let a2 = *x;
   let z2 = malloc(2);
-  free(x);
-  *(z2 + 1) = a2;
-  *z2 = a2;
   *r = z2;
+  *z2 = a2;
+  *(z2 + 1) = a2;
+  free(x);
 }

src/test/resources/synthesis/simple/alloc.syn

@@ -9,6 +9,6 @@ void create(loc x)
 
 void create (loc x) {
   let y2 = malloc(1);
-  *y2 = 42;
   *x = y2;
+  *y2 = 42;
 }

src/test/resources/synthesis/simple/blocks.syn

@@ -10,8 +10,8 @@ void create(loc x)
 
 void create (loc x) {
   let y2 = malloc(3);
-  *(y2 + 2) = x;
-  *(y2 + 1) = 2;
-  *y2 = 1;
   *x = y2;
+  *y2 = 1;
+  *(y2 + 1) = 2;
+  *(y2 + 2) = x;
 }

src/test/resources/synthesis/simple/kareem.syn

@@ -6,8 +6,8 @@ void kareem1(loc x, loc y, loc z)
 ###
 void kareem1 (loc x, loc y, loc z) {
   let v2 = *x;
-  *v2 = x;
+  *x = y;
   *z = x;
   *y = z;
-  *x = y;
+  *v2 = x;
 }

src/test/resources/synthesis/simple/kareem2.syn

@@ -12,8 +12,8 @@ void kareem3 (loc x) {
   let a2 = *x;
   let b2 = *a2;
   let c2 = *b2;
-  *c2 = b2;
+  *x = 42;
   *a2 = c2;
+  *c2 = b2;
   *b2 = a2;
-  *x = 42;
 }