Searched refs:infinityOrUInt64LE (Results 1 – 1 of 1) sorted by relevance
90 inline bool infinityOrUInt64LE(Optional<uint64_t> lhs, Optional<uint64_t> rhs) { in infinityOrUInt64LE() function107 assert(infinityOrUInt64LE(trueVolume, resultBound) && in expectComputedVolumeIsValidOverapprox()109 EXPECT_TRUE(infinityOrUInt64LE(trueVolume, computedVolume)); in expectComputedVolumeIsValidOverapprox()110 EXPECT_TRUE(infinityOrUInt64LE(computedVolume, resultBound)); in expectComputedVolumeIsValidOverapprox()