From 02e8c0fe8b75b2831f81f894867eaf7bf05e51ac Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Fri, 6 Sep 2024 00:19:08 +0000 Subject: [PATCH] pyk/tests/test_subst: update expected test output --- pyk/src/tests/unit/kast/test_subst.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pyk/src/tests/unit/kast/test_subst.py b/pyk/src/tests/unit/kast/test_subst.py index 1215b6fd3b..1b6e6cb3e5 100644 --- 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()),