Update dependency: deps/k_release (#3656)

Co-authored-by: devops <[email protected]> Co-authored-by: Georgy Lukyanov <[email protected]>
runtimeverification · Sep 29, 2023 · f3c2d19 · f3c2d19
1 parent 9654509
commit f3c2d19
Show file tree

Hide file tree

Showing 4 changed files with 30 additions and 30 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.0.87
+6.0.121
diff --git a/test/imp/max-symbolic.imp.out.golden b/test/imp/max-symbolic.imp.out.golden
@@ -3,7 +3,7 @@
         .
       </k>
       <state>
-        max |-> ?_I:Int
+        max |-> ?_I0:Int
         x |-> ?_I:Int
         y |-> ?_I0:Int
         z |-> ?_I1:Int
@@ -13,21 +13,21 @@
     {
       false
     #Equals
-      ?_I:Int <=Int ?_I0:Int
+      ?_I0:Int <=Int ?_I1:Int
     }
   #And
     {
-      false
+      true
     #Equals
-      ?_I:Int <=Int ?_I1:Int
+      ?_I:Int <=Int ?_I0:Int
     }
 #Or
     <T>
       <k>
         .
       </k>
       <state>
-        max |-> ?_I0:Int
+        max |-> ?_I1:Int
         x |-> ?_I:Int
         y |-> ?_I0:Int
         z |-> ?_I1:Int
@@ -37,13 +37,13 @@
     {
       false
     #Equals
-      ?_I0:Int <=Int ?_I1:Int
+      ?_I:Int <=Int ?_I0:Int
     }
   #And
     {
       true
     #Equals
-      ?_I:Int <=Int ?_I0:Int
+      ?_I:Int <=Int ?_I1:Int
     }
 #Or
     <T>
@@ -59,37 +59,37 @@
     </T>
   #And
     {
-      false
+      true
     #Equals
-      ?_I:Int <=Int ?_I0:Int
+      ?_I0:Int <=Int ?_I1:Int
     }
   #And
     {
       true
     #Equals
-      ?_I:Int <=Int ?_I1:Int
+      ?_I:Int <=Int ?_I0:Int
     }
 #Or
     <T>
       <k>
         .
       </k>
       <state>
-        max |-> ?_I1:Int
+        max |-> ?_I:Int
         x |-> ?_I:Int
         y |-> ?_I0:Int
         z |-> ?_I1:Int
       </state>
     </T>
   #And
     {
-      true
+      false
     #Equals
-      ?_I0:Int <=Int ?_I1:Int
+      ?_I:Int <=Int ?_I0:Int
     }
   #And
     {
-      true
+      false
     #Equals
-      ?_I:Int <=Int ?_I0:Int
+      ?_I:Int <=Int ?_I1:Int
     }
diff --git a/test/issue-2010/1.test.out.golden b/test/issue-2010/1.test.out.golden
@@ -1,19 +1,19 @@
     <k>
-      true ~> .
+      I:Int ~> .
     </k>
   #And
     {
-      None
+      Some I:Int
     #Equals
       f ( )
     }
 #Or
     <k>
-      I:Int ~> .
+      true ~> .
     </k>
   #And
     {
-      Some I:Int
+      None
     #Equals
       f ( )
     }
diff --git a/test/smt-none/program.test.out.golden b/test/smt-none/program.test.out.golden
@@ -1,13 +1,3 @@
-    <k>
-      .
-    </k>
-  #And
-    {
-      ?T1:Type
-    #Equals
-      ?T2:Type
-    }
-#Or
     #Not ( {
       ?T1:Type
     #Equals
@@ -17,3 +7,13 @@
     <k>
       ?T1:Type = ?T2:Type ~> .
     </k>
+#Or
+    <k>
+      .
+    </k>
+  #And
+    {
+      ?T1:Type
+    #Equals
+      ?T2:Type
+    }