| import sys | |
| import os | |
| import pytest | |
| # Add the project root to sys.path for import resolution | |
| sys.path.insert(0, os.path.abspath(os.path.join(os.path.dirname(__file__), '../..'))) | |
| from backend.core import theorem_engine | |
| def test_dummy(): | |
| # Dummy test to check import and basic instantiation | |
| assert hasattr(theorem_engine, "ProofObject") | |
| assert hasattr(theorem_engine, "ProofStep") | |
| assert hasattr(theorem_engine, "DeepLearningProofSearch") | |
| assert hasattr(theorem_engine, "SymbolicRegressionProofSearch") | |
| assert hasattr(theorem_engine, "MultiAgentProofSearch") | |
| assert hasattr(theorem_engine, "WebProofSession") | |