Searched refs:kRetiresOnSaturation (Results 1 – 1 of 1) sorted by relevance
740 kRetiresOnSaturation enumerator1045 ExpectSpecProperty(last_clause_ < kRetiresOnSaturation, in RetiresOnSaturation()1048 last_clause_ = kRetiresOnSaturation; in RetiresOnSaturation()