Using pytest.skip() in test_bindings

runtimeverification · Aug 7, 2024 · 48d7fec · 48d7fec
1 parent 5499090
commit 48d7fec
Showing 1 changed file with 9 additions and 7 deletions.
diff --git a/pyk/src/tests/integration/test_string.py b/pyk/src/tests/integration/test_string.py
@@ -40,12 +40,11 @@
     '🙂',
 )
 
-BINDINGS_TEST_DATA: Final = (
-    'hello',
-    '\n',
-    '\x01',
-    '£',
-)
+SKIPPED_BINDINGS_TESTS: Final = {
+    '𐍈',
+    '武天老師',
+    '🙂',
+}
 
 KOMPILE_DEFINITION = """
     module STRING-REWRITE
@@ -220,9 +219,12 @@ def test_krun(backend: str, definition_dir: Path, text: str) -> None:
     assert actual == expected
 
 
-@pytest.mark.parametrize('text', BINDINGS_TEST_DATA, ids=BINDINGS_TEST_DATA)
+@pytest.mark.parametrize('text', TEST_DATA, ids=TEST_DATA)
 def test_bindings(runtime: Runtime, text: str) -> None:
     from pyk.kllvm.convert import llvm_to_pattern, pattern_to_llvm
+
+    if text in SKIPPED_BINDINGS_TESTS:
+        pytest.skip()
 
     # Given
     kore = kore_config(text, '')