Lines Matching refs:RF_ASSERT
92 RF_ASSERT(asmap->numDataFailed == 1);
106 RF_ASSERT(!(asmap->numStripeUnitsAccessed != 1 &&
198 RF_ASSERT(asmap->numDataFailed == 1);
288 RF_ASSERT(nRrdNodes > 0);
315 RF_ASSERT(pda);
332 RF_ASSERT(pda);
410 RF_ASSERT(pda);
465 RF_ASSERT(paramNum == 2 * nXorBufs + 2);
472 RF_ASSERT(blockNode->numAntecedents == 0);
476 RF_ASSERT(blockNode->numSuccedents == nRrdNodes);
479 RF_ASSERT(tmprrdNode->numAntecedents == 1);
487 RF_ASSERT(xorNode->numAntecedents == nRrdNodes);
490 RF_ASSERT(tmprrdNode->numSuccedents == 1);
498 RF_ASSERT(xorNode->numSuccedents == 1);
499 RF_ASSERT(commitNode->numAntecedents == 1);
505 RF_ASSERT(commitNode->numSuccedents == nfaults + nWndNodes);
508 RF_ASSERT(tmpwndNode->numAntecedents == 1);
516 RF_ASSERT(wnpNode->numAntecedents == 1);
522 RF_ASSERT(wnqNode->numAntecedents == 1);
529 RF_ASSERT(unblockNode->numAntecedents == (nWndNodes + nfaults));
532 RF_ASSERT(tmpwndNode->numSuccedents == 1);
540 RF_ASSERT(wnpNode->numSuccedents == 1);
548 RF_ASSERT(wnqNode->numSuccedents == 1);
555 RF_ASSERT(unblockNode->numSuccedents == 1);
556 RF_ASSERT(termNode->numAntecedents == 1);
557 RF_ASSERT(termNode->numSuccedents == 0);
699 RF_ASSERT(pda_p - *pdap == napdas);
747 RF_ASSERT(asmap->numDataFailed == 1);
803 RF_ASSERT(pda);
807 RF_ASSERT(pda);
812 RF_ASSERT(pda);
816 RF_ASSERT(pda);
877 RF_ASSERT(pda);
881 RF_ASSERT(pda);
886 RF_ASSERT(pda);
890 RF_ASSERT(pda);