Update dependency: deps/k_release (#2133)

rv-jenkins · ttuegel · web-flow · commit 96001e2c11f6 · 2020-09-11T09:49:26.000-05:00
* deps/k_release: v5.0.0-3db678b

* deps/k_release: v5.0.0-a05e618

* deps/k_release: v5.0.0-5e4e023

* test: make golden

Co-authored-by: Thomas Tuegel &lt;thomas.tuegel@runtimeverification.com&gt;
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-v5.0.0-0aa62f7
+v5.0.0-5e4e023
diff --git a/test/bmc/fail-3-bmc-spec.k.out.golden b/test/bmc/fail-3-bmc-spec.k.out.golden
@@ -14,13 +14,7 @@
   }
 #And
   {
-    true
+    X <=Int 5
   #Equals
-    0 <Int X
-  }
-#And
-  {
     true
-  #Equals
-    X <=Int 5
   }
diff --git a/test/symbolic-ensures/1.strict.out.golden b/test/symbolic-ensures/1.strict.out.golden
@@ -1,6 +1,12 @@
   <k>
     1 ~> .
   </k>
+#And
+  {
+    ?X <=Int 3
+  #Equals
+    true
+  }
 #And
   {
     true

Original file line number	Diff line number	Diff line change
`@@ -14,13 +14,7 @@`
`14`	`14`	`}`
`15`	`15`	`#And`
`16`	`16`	`{`
`17`		`- true`
	`17`	`+ X <=Int 5`
`18`	`18`	`#Equals`
`19`		`- 0 <Int X`
`20`		`- }`
`21`		`-#And`
`22`		`- {`
`23`	`19`	`true`
`24`		`- #Equals`
`25`		`- X <=Int 5`
`26`	`20`	`}`
-Original file line number
+Diff line change
@@ @@ -1,6 +1,12 @@ @@
   <k>
 ~> .
   </k>
 +#And
 +  {
 +    ?X <=Int 3
 +  #Equals
 +    true
 +  }
 #And
+  {
     true