Function validate_pauliStrSumFields

quest/src/core/validation.cpp:3338–3353

bool areQubitsDisjoint(qindex qubitsMaskA, int* qubitsB, int numQubitsB);

void validate_pauliStrSumFields(PauliStrSum sum, const char* caller) {

    assertThat(sum.numTerms > 0, report::INVALID_PAULI_STR_SUM_FIELDS, {{"${NUM_TERMS}", sum.numTerms}}, caller);

    assertThat(mem_isAllocated(sum.coeffs),  report::INVALID_PAULI_STR_HEAP_PTR, caller);
    assertThat(mem_isAllocated(sum.strings), report::INVALID_PAULI_STR_HEAP_PTR, caller);

    assertThat(mem_isAllocated(sum.isApproxHermitian), report::INVALID_HEAP_FLAG_PTR, caller);

    // assert isApproxHermitian has valid value
    int flag = *sum.isApproxHermitian;
    tokenSubs vars = {
        {"${BAD_FLAG}", flag}, 
        {"${UNKNOWN_FLAG}", validate_STRUCT_PROPERTY_UNKNOWN_FLAG}};
    assertThat(flag == 0 || flag == 1 || flag == validate_STRUCT_PROPERTY_UNKNOWN_FLAG, report::INVALID_HEAP_FLAG_VALUE, vars, caller);
}

void validate_pauliStrSumIsHermitian(PauliStrSum sum, const char* caller) {