Searched refs:resultBound (Results 1 – 3 of 3) sorted by relevance
106 Optional<uint64_t> resultBound) { in expectComputedVolumeIsValidOverapprox() argument107 assert(infinityOrUInt64LE(trueVolume, resultBound) && in expectComputedVolumeIsValidOverapprox()110 EXPECT_TRUE(infinityOrUInt64LE(computedVolume, resultBound)); in expectComputedVolumeIsValidOverapprox()
784 Optional<uint64_t> resultBound) { in expectComputedVolumeIsValidOverapprox() argument786 resultBound); in expectComputedVolumeIsValidOverapprox()
1390 Optional<uint64_t> resultBound) { in expectComputedVolumeIsValidOverapprox() argument1392 resultBound); in expectComputedVolumeIsValidOverapprox()