Fix tests

Author: saulshanabrook

python/tests/conftest.py

@@ -1,13 +1,12 @@
 import copy
-from importlib import import_module
 
 import pytest
 from syrupy.extensions.single_file import SingleFileSnapshotExtension
 
 
 @pytest.fixture(autouse=True)
 def _reset_conversions():
-    conversion = import_module("egglog.conversion")
+    from egglog import conversion  # noqa: PLC0415
 
     old_conversions = copy.copy(conversion.CONVERSIONS)
     old_conversion_decls = copy.copy(conversion._TO_PROCESS_DECLS)
@@ -18,7 +17,7 @@ def _reset_conversions():
 
 @pytest.fixture(autouse=True)
 def _reset_current_egraph():
-    array_api = import_module("egglog.exp.array_api")
+    from egglog.exp import array_api  # noqa: PLC0415
 
     yield
     array_api._CURRENT_EGRAPH = None

python/tests/test_bindings.py

@@ -108,24 +108,6 @@ def test_parse_and_run_program_exception(self):
         ):
             egraph.run_program(*egraph.parse_program(program))
 
-    def test_generic_fresh_egraph_repro(self):
-        program = GENERIC_FRESH_EGRAPH_REPRO.read_text()
-        first = extract_best_term(program)
-
-        assert "get (vec" in first
-
-        second = extract_best_term(program.replace(GENERIC_FRESH_EGRAPH_ROOT, f"(let $__expr_0 {first})"))
-
-        assert second == GENERIC_FRESH_EGRAPH_RESOLVED
-
-    def test_generic_fresh_egraph_repro_without_inner_unstable_app(self):
-        program = GENERIC_FRESH_EGRAPH_REPRO.read_text().replace(
-            '(vec-of (unstable-app (unstable-fn "c0" i) (int 0)))',
-            "(vec-of (int i))",
-        )
-
-        assert extract_best_term(program) == GENERIC_FRESH_EGRAPH_RESOLVED
-
     def test_run_rules(self):
         egraph = EGraph()
         res = egraph.run_program(