(self)
| 161 | assert json.loads(routed.stdout)["mode"] == "best" |
| 162 | |
| 163 | def test_route_complex_prompt(self) -> None: |
| 164 | r = run_cli([ |
| 165 | "route", |
| 166 | "--json", |
| 167 | "Design a distributed consensus algorithm that handles Byzantine faults " |
| 168 | "with formal correctness proofs and implement it in Rust", |
| 169 | ]) |
| 170 | data = json.loads(r.stdout) |
| 171 | assert data["tier"] == "COMPLEX" |
| 172 | |
| 173 | def test_debug(self) -> None: |
| 174 | r = run_cli(["debug", "prove that sqrt(2) is irrational"]) |