| 1516 | } |
| 1517 | |
| 1518 | void validate_numPauliChars(const char* paulis, const char* caller) { |
| 1519 | |
| 1520 | // check position of terminal char, else default to numChars=5 (illegal) |
| 1521 | int numChars = 0; |
| 1522 | for (int i=0; i<5 && paulis[i] != '\0'; i++) |
| 1523 | numChars++; |
| 1524 | |
| 1525 | assertThat(numChars==4, report::INVALID_NUM_NEW_PAULI_CHARS, caller); |
| 1526 | } |
| 1527 | |
| 1528 | void validate_reportedPauliStrStyleFlag(int flag, const char* caller) { |
| 1529 |
no test coverage detected