Add Test Codes

[RexWzh]

Add Test Codes

Hi @lenianiva, could you review the test setup in this PR?

Changes Made

1. The other PR's tests passed successfully. Some of the statements need fixing, check the LSP here as commented before.

2. Added pytest framework, migrate unitests from server.py to test_server.py

You can run the test suite with:

pytest -s tests/

Next Steps

• Add GitHub workflow for automated testing
• Integrate Codecov to avoid potential bugs (optional)
• Fix bugs appears in the action, checked by pytest tests -m error

For error cases, we could fix in a new PR to simplify the review process?

Please let me know if you'd like any further adjustments.

[lenianiva]

I'm a bit concerned about adding minif2f to the unit testing pipeline. Building mathlib takes a while. If it is just mathlib we could lake exe cache get but Pantograph has to work in a mathlib-independent way. How long does it take to build the library?

Can you set it up so that instead of using an example skeleton project with mathlib as a dependency, the minif2f tests directly run with project root pointing to Mathlib? This way we can leverage lake exe cache get and it would run much faster.

[RexWzh]

Can you set it up so that instead of using an example skeleton project with mathlib as a dependency, the minif2f tests directly run with project root pointing to Mathlib? This way we can leverage lake exe cache get and it would run much faster.

You might approve this PR to run the actions, or check it here https://github.com/Lean-zh/PyPantograph/pull/2/checks

[RexWzh]

use pytest -m "not advance" instead to skip some tests if it takes too long.