Lines Matching refs:RF_ASSERT
176 RF_ASSERT(pda != NULL);
178 RF_ASSERT(asmap->parityInfo->next == NULL);
202 RF_ASSERT(dag_h->numSuccedents == 1);
203 RF_ASSERT(blockNode->numAntecedents == 0);
207 RF_ASSERT(blockNode->numSuccedents == 1);
208 RF_ASSERT(rdNode->numAntecedents == 1);
214 RF_ASSERT(rdNode->numSuccedents == 1);
215 RF_ASSERT(commitNode->numAntecedents == 1);
221 RF_ASSERT(commitNode->numSuccedents == 1);
222 RF_ASSERT(termNode->numAntecedents == 1);
223 RF_ASSERT(termNode->numSuccedents == 0);
296 RF_ASSERT(asmap->numDataFailed == 1);
379 RF_ASSERT(pda);
397 RF_ASSERT(pda);
414 RF_ASSERT(pda);
478 RF_ASSERT(paramNum == 2 * nXorBufs + 2);
491 RF_ASSERT(dag_h->numSuccedents == 1);
492 RF_ASSERT(blockNode->numAntecedents == 0);
496 RF_ASSERT(blockNode->numSuccedents == (1 + nRrdNodes + nRudNodes));
497 RF_ASSERT(rpNode->numAntecedents == 1);
503 RF_ASSERT(tmprrdNode->numSuccedents == 1);
511 RF_ASSERT(tmprudNode->numSuccedents == 1);
519 RF_ASSERT(xorNode->numAntecedents == (1 + nRrdNodes + nRudNodes));
520 RF_ASSERT(rpNode->numSuccedents == 1);
526 RF_ASSERT(tmprrdNode->numSuccedents == 1);
534 RF_ASSERT(tmprudNode->numSuccedents == 1);
542 RF_ASSERT(xorNode->numSuccedents == 1);
543 RF_ASSERT(commitNode->numAntecedents == 1);
549 RF_ASSERT(commitNode->numSuccedents == 1);
550 RF_ASSERT(termNode->numAntecedents == 1);
551 RF_ASSERT(termNode->numSuccedents == 0);
637 RF_ASSERT(pda != NULL);
639 RF_ASSERT(asmap->parityInfo->next == NULL);
669 RF_ASSERT(dag_h->numSuccedents == 1);
670 RF_ASSERT(blockNode->numAntecedents == 0);
674 RF_ASSERT(blockNode->numSuccedents == 1);
675 RF_ASSERT(rdNode->numAntecedents == 1);
681 RF_ASSERT(rdNode->numSuccedents == 1);
682 RF_ASSERT(commitNode->numAntecedents == 1);
688 RF_ASSERT(commitNode->numSuccedents == 1);
689 RF_ASSERT(termNode->numAntecedents == 1);
690 RF_ASSERT(termNode->numSuccedents == 0);
883 RF_ASSERT(suend >= fone_end);
893 RF_ASSERT(suoff <= fone_start);
904 RF_ASSERT((suoff == 0) || (suend == secPerSU));
925 RF_ASSERT(suend >= fone_end);
937 RF_ASSERT(suoff <= fone_start);
950 RF_ASSERT(suend >= ftwo_end);
962 RF_ASSERT(suoff <= ftwo_start);
1020 RF_ASSERT(pda_p - *pdap == napdas);
1085 RF_ASSERT(i == nNodes);
1135 RF_ASSERT(pda);
1143 RF_ASSERT(pda);
1150 RF_ASSERT(pda);
1154 RF_ASSERT(pda);
1159 RF_ASSERT(pda);
1163 RF_ASSERT(pda);