Lines Matching refs:ExpectSpecProperty
259 ExpectSpecProperty(false,263 ExpectSpecProperty(last_clause_ < kTimes,