From 1d6f27c9f1844a415fd78d3e308a5a3322cc4cb3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?= Date: Mon, 2 Dec 2024 13:07:26 +0000 Subject: [PATCH] Adjust test --- pyk/src/tests/integration/kore/test_rule.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pyk/src/tests/integration/kore/test_rule.py b/pyk/src/tests/integration/kore/test_rule.py index 5f723146d8..fadb530548 100644 --- a/pyk/src/tests/integration/kore/test_rule.py +++ b/pyk/src/tests/integration/kore/test_rule.py @@ -18,7 +18,7 @@ @pytest.fixture(scope='module') def definition(kompile: Kompiler) -> Definition: main_file = K_FILES / 'imp.k' - definition_dir = kompile(main_file=main_file) + definition_dir = kompile(main_file=main_file, backend='haskell') kore_file = definition_dir / 'definition.kore' kore_text = kore_file.read_text() definition = KoreParser(kore_text).definition() @@ -33,4 +33,6 @@ def test_extract_all(definition: Definition) -> None: cnt = Counter(type(rule).__name__ for rule in rules) assert cnt['RewriteRule'] assert cnt['FunctionRule'] - assert cnt['SimpliRule'] + assert cnt['AppRule'] + assert cnt['CeilRule'] + assert cnt['EqualsRule']