Searched defs:invariant (Results 1 – 3 of 3) sorted by relevance
73 for (const auto &invariant : invariantSet) { in Verify() local78 for (const auto &invariant : invalidInvariants) { in Verify() local89 auto invariant = found->second; in Verify() local
157 auto invariant = builder.Int32Mul(arg, builder.Int32(5)); in HWTEST_F_L0() local195 GateRef invariant = circuit.NewGate(circuit.Load(bits), MachineType::I32, in HWTEST_F_L0() local
131 auto invariant = message.Invariant(); in DumpMessages() local