Searched defs:BasicGuaranteeWithExtraContracts (Results 1 – 6 of 6) sorted by relevance
693 struct BasicGuaranteeWithExtraContracts : public NonNegative { struct695 void operator()() { in operator ()()702 static constexpr int kExceptionSentinel = 9999;706 TEST(ExceptionCheckTest, BasicGuaranteeWithExtraContracts) { in TEST() argument