| 1390 | |
| 1391 | |
| 1392 | void print_label(string label) { |
| 1393 | |
| 1394 | // always contains trailing newline (platform agnostic) |
| 1395 | print(label + LABEL_SUFFIX + "\n"); |
| 1396 | } |
| 1397 | |
| 1398 | |
| 1399 | void printHeader(string name, vector<string> notes) { |
no test coverage detected