File size: 657 Bytes
effde1c |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 |
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")
|