(self)
| 171 | assert data["tier"] == "COMPLEX" |
| 172 | |
| 173 | def test_debug(self) -> None: |
| 174 | r = run_cli(["debug", "prove that sqrt(2) is irrational"]) |
| 175 | assert r.returncode == 0 |
| 176 | assert "Structural Features:" in r.stdout |
| 177 | assert "Unicode Blocks:" in r.stdout |
| 178 | |
| 179 | def test_route_no_prompt_fails(self) -> None: |
| 180 | r = run_cli(["route"]) |