Lines Matching refs:CHECK_EQ
670 CHECK_EQ(n + 1, M.NumStates()); // Accounts for the epsilon transition1065 CHECK_EQ(n + 1, M.NumStates()); // Accounts for the epsilon transition