pyk/tests/test_subst: update expected test output

runtimeverification · Sep 6, 2024 · 02e8c0f · 02e8c0f
1 parent 1350462
commit 02e8c0f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pyk/src/tests/unit/kast/test_subst.py b/pyk/src/tests/unit/kast/test_subst.py
@@ -113,8 +113,8 @@ def test_unapply(term: KInner, subst: dict[str, KInner], expected: KInner) -> No
     (a, {}, a),
     (mlEquals(a, b, arg_sort=INT), {}, mlEquals(a, b, arg_sort=INT)),
     (mlEquals(x, a, arg_sort=INT), {'x': a}, mlTop()),
-    (mlEquals(x, _0, arg_sort=INT), {}, mlEquals(x, _0, arg_sort=INT)),
-    (mlEquals(x, y, arg_sort=INT), {}, mlEquals(x, y, arg_sort=INT)),
+    (mlEquals(x, _0, arg_sort=INT), {'x': _0}, mlTop()),
+    (mlEquals(x, y, arg_sort=INT), {'x': y}, mlTop()),
     (mlAnd([mlEquals(a, b, arg_sort=INT), mlEquals(x, a, arg_sort=INT)]), {'x': a}, mlEquals(a, b, arg_sort=INT)),
     (mlEqualsTrue(_EQ(a, b)), {}, mlEqualsTrue(_EQ(a, b))),
     (mlEqualsTrue(_EQ(x, a)), {'x': a}, mlTop()),