Searched defs:invariant (Results 1 – 4 of 4) sorted by relevance
81 for (const auto &invariant : invariantSet) { in Verify() local86 for (const auto &invariant : invalidInvariants) { in Verify() local97 auto invariant = found->second; in Verify() local
65 auto invariant = messages[0].Invariant(); in TEST_F() 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
132 auto invariant = message.Invariant(); in DumpMessages() local