Conditional tactic: apply t1 if probe p is true, else t2.
(p: Probe, t1: Tactic, t2: Tactic)
| 353 | |
| 354 | |
| 355 | def Cond(p: Probe, t1: Tactic, t2: Tactic) -> Tactic: |
| 356 | """Conditional tactic: apply t1 if probe p is true, else t2.""" |
| 357 | return t1 |
| 358 | |
| 359 | |
| 360 | def tactics() -> list[str]: |
nothing calls this directly
no outgoing calls
no test coverage detected