Lines Matching refs:CHECK
108 CHECK(final_arc.ilabel == 0 && final_arc.olabel == 0);
191 CHECK(final_arc.ilabel == 0 && final_arc.olabel == 0);
308 CHECK(final_arc.ilabel == 0 && final_arc.olabel == 0);
370 // Check for superfinal arcs.
737 CHECK(l != kStringInfinity);
738 CHECK(l != kStringBad);
739 CHECK(arc.ilabel == arc.olabel);
740 CHECK(w1.Size() <= 1);
816 CHECK(l != kStringInfinity);
817 CHECK(l != kStringBad);
818 CHECK(arc.ilabel == arc.olabel);
