* Convert a tactic to a string. */
| 96 | * Convert a tactic to a string. |
| 97 | */ |
| 98 | static const char *getTacticName(Tactic tactic) |
| 99 | { |
| 100 | switch (tactic) |
| 101 | { |
| 102 | case TACTIC_B0: return "B0"; |
| 103 | case TACTIC_B1: return "B1"; |
| 104 | case TACTIC_B2: return "B2"; |
| 105 | case TACTIC_T0: return "T0"; |
| 106 | case TACTIC_T1: return "T1"; |
| 107 | case TACTIC_T2: return "T2"; |
| 108 | case TACTIC_T3: return "T3"; |
| 109 | default: return "???"; |
| 110 | } |
| 111 | } |
| 112 | |
| 113 | /* |
| 114 | * Commit a patch. |