| 38 | |
| 39 | type Card = 'finite' | 'infinite' | 'empty'; |
| 40 | interface Case { |
| 41 | id: string; |
| 42 | cat: string; |
| 43 | title: string; |
| 44 | ce: { op: string; var: string; mathjson: any }; |
| 45 | sympy: { expr: string; result: { status: string; roots: string[] } }; |
| 46 | verify: { kind: string; cardinality: Card; roots: string[] }; |
| 47 | } |
| 48 | type Verdict = 'correct' | 'partial' | 'wrong' | 'unsolved' | 'error'; |
| 49 | |
| 50 | const cases: Case[] = JSON.parse( |
nothing calls this directly
no outgoing calls
no test coverage detected