Code

Add Test Codes#54

Code

Open

RexWzh wants to merge 7 commits intolenianiva:mainlenianiva/PyPantograph:mainfrom Lean-zh:devLean-zh/PyPantograph:devCopy head branch name to clipboard

+2,160-1,783

Commits

Commits on Dec 19, 2024

• add pytest dependency

  

  wangzhihong.rex

  committed
  9cf2963

• add test code for minif2f

  

  wangzhihong.rex

  committed
  1506001

Commits on Dec 20, 2024

• update minif2f from purewhite

  RexWzh

  committed
  6a19b32

• add github action

  RexWzh

  committed
  1a607dd

• migrate tests from server.py

  RexWzh

  committed
  2b3f4bf

• add three error tests

  RexWzh

  committed
  9968979

Commits on Dec 21, 2024

• fix minif2f statements

  RexWzh

  committed
  ee7fe13