Update dependency: deps/k_release (#4123)

rv-jenkins · rv-auditor · jberthold · web-flow · commit 629440347383 · 2025-08-28T23:09:17.000+10:00
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Jost Berthold &lt;jost.berthold@gmail.com&gt;
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.274
+7.1.282
diff --git a/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden b/test/imp/sum-save-proofs-spec.k.save-proofs.kore.golden
@@ -67,18 +67,18 @@ module haskell-backend-saved-claims-43943e50-f723-47cd-99fd-07104d664c6d
                         /* InternalMap: */ Lbl'Unds'Map'Unds'{}(
                             /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(
                                 /* Inj: */ inj{SortId{}, SortKItem{}}(
-                                    \dv{SortId{}}("sum")
+                                    \dv{SortId{}}("n")
                                 ),
                                 /* Inj: */ inj{SortInt{}, SortKItem{}}(
-                                    VarS:SortInt{}
+                                    VarN:SortInt{}
                                 )
                             ),
                             /* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(
                                 /* Inj: */ inj{SortId{}, SortKItem{}}(
-                                    \dv{SortId{}}("n")
+                                    \dv{SortId{}}("sum")
                                 ),
                                 /* Inj: */ inj{SortInt{}, SortKItem{}}(
-                                    VarN:SortInt{}
+                                    VarS:SortInt{}
                                 )
                             )
                         )

Original file line number	Diff line number	Diff line change
`@@ -67,18 +67,18 @@ module haskell-backend-saved-claims-43943e50-f723-47cd-99fd-07104d664c6d`
`67`	`67`	`/* InternalMap: */ Lbl'Unds'Map'Unds'{}(`
`68`	`68`	`/* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(`
`69`	`69`	`/* Inj: */ inj{SortId{}, SortKItem{}}(`
`70`		`- \dv{SortId{}}("sum")`
	`70`	`+ \dv{SortId{}}("n")`
`71`	`71`	`),`
`72`	`72`	`/* Inj: */ inj{SortInt{}, SortKItem{}}(`
`73`		`- VarS:SortInt{}`
	`73`	`+ VarN:SortInt{}`
`74`	`74`	`)`
`75`	`75`	`),`
`76`	`76`	`/* concrete element: */ Lbl'UndsPipe'-'-GT-Unds'{}(`
`77`	`77`	`/* Inj: */ inj{SortId{}, SortKItem{}}(`
`78`		`- \dv{SortId{}}("n")`
	`78`	`+ \dv{SortId{}}("sum")`
`79`	`79`	`),`
`80`	`80`	`/* Inj: */ inj{SortInt{}, SortKItem{}}(`
`81`		`- VarN:SortInt{}`
	`81`	`+ VarS:SortInt{}`
`82`	`82`	`)`
`83`	`83`	`)`
`84`	`84`	`)`