Fix test output

runtimeverification · Sep 19, 2023 · ed57650 · ed57650
1 parent 1c29f5c
commit ed57650
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/k-distribution/pl-tutorial/1_k/4_imp++/lesson_6/tests/spawn.imp.out b/k-distribution/pl-tutorial/1_k/4_imp++/lesson_6/tests/spawn.imp.out
@@ -1,13 +1,13 @@
     {
       Out:String
     #Equals
-      "x = 21\n"
+      "x = 11\n"
     }
   #And
     {
       Store:Map
     #Equals
-      0 |-> 21
+      0 |-> 11
     }
 #Or
     {
@@ -19,7 +19,7 @@
     {
       Store:Map
     #Equals
-      0 |-> 11
+      0 |-> 21
     }
 #Or
     {
@@ -31,31 +31,31 @@
     {
       Store:Map
     #Equals
-      0 |-> 21
+      0 |-> 33
     }
 #Or
     {
       Out:String
     #Equals
-      "x = 11\n"
+      "x = 16\n"
     }
   #And
     {
       Store:Map
     #Equals
-      0 |-> 33
+      0 |-> 16
     }
 #Or
     {
       Out:String
     #Equals
-      "x = 16\n"
+      "x = 21\n"
     }
   #And
     {
       Store:Map
     #Equals
-      0 |-> 16
+      0 |-> 21
     }
 #Or
     {