Searched defs:invariant (Results 1 – 3 of 3) sorted by relevance
162 auto invariant = builder.Int32Mul(arg, builder.Int32(5)); in HWTEST_F_L0() local200 GateRef invariant = circuit.NewGate(circuit.Load(bits), MachineType::I32, in HWTEST_F_L0() local
116 InvariantCheck invariant; member
714 void ASTVerifier::AddInvariant(const std::string &name, const InvariantCheck &invariant) in AddInvariant()759 for (const auto &invariant : invariantSet) { in Verify() local764 for (const auto &invariant : invalidInvariants) { in Verify() local