Skip failing tests until it gets updated or deleted.

Author: Robertorosmaninho

pyk/src/tests/integration/kllvm/test_internal_term.py

@@ -12,7 +12,7 @@
     from pyk.kllvm.ast import Pattern
     from pyk.kllvm.runtime import Runtime
 
-
+@pytest.mark.skip(reason="This test doesn't conform with the current version of LLVM GC. It should be updated or deleted soon.")
 class TestInternalTerm(RuntimeTest):
     KOMPILE_MAIN_FILE = K_FILES / 'imp.k'