From eeb89945b5869d2d97e7fe16bba8384d8224815d Mon Sep 17 00:00:00 2001 From: Sam Balco Date: Wed, 19 Jun 2024 16:21:34 +0100 Subject: [PATCH] update expected output due to change of names for substitution variables --- pyk/src/tests/integration/kore/test_kore_client.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pyk/src/tests/integration/kore/test_kore_client.py b/pyk/src/tests/integration/kore/test_kore_client.py index eb161763186..0733d4703c0 100644 --- a/pyk/src/tests/integration/kore/test_kore_client.py +++ b/pyk/src/tests/integration/kore/test_kore_client.py @@ -112,16 +112,16 @@ def state(n: int) -> State: term=term(3), rule_id='ae0c978867ef4cc5cbfbadf7be2ff55e30e59465697ceaffa1d9fd5343a21fc6', rule_substitution={ - EVar('GCC', SORT_GENERATED_COUNTER_CELL): EVar("Var'Unds'DotVar0", SORT_GENERATED_COUNTER_CELL), - EVar('K', SORT_K): EVar("Var'Unds'DotVar1", SORT_K), + EVar('GCC', SORT_GENERATED_COUNTER_CELL): EVar("RuleVar'Unds'DotVar0", SORT_GENERATED_COUNTER_CELL), + EVar('K', SORT_K): EVar("RuleVar'Unds'DotVar1", SORT_K), }, ), State( term=term(4), rule_id='37a544ff4b6da9b4fb839f86d2ad51b770bcaf3dd578b716c38cf0da33458374', rule_substitution={ - EVar('GCC', SORT_GENERATED_COUNTER_CELL): EVar("Var'Unds'DotVar0", SORT_GENERATED_COUNTER_CELL), - EVar('K', SORT_K): EVar("Var'Unds'DotVar1", SORT_K), + EVar('GCC', SORT_GENERATED_COUNTER_CELL): EVar("RuleVar'Unds'DotVar0", SORT_GENERATED_COUNTER_CELL), + EVar('K', SORT_K): EVar("RuleVar'Unds'DotVar1", SORT_K), }, ), ),