Searched refs:computedVolume (Results 1 – 1 of 1) sorted by relevance
104 expectComputedVolumeIsValidOverapprox(Optional<uint64_t> computedVolume, in expectComputedVolumeIsValidOverapprox() argument109 EXPECT_TRUE(infinityOrUInt64LE(trueVolume, computedVolume)); in expectComputedVolumeIsValidOverapprox()110 EXPECT_TRUE(infinityOrUInt64LE(computedVolume, resultBound)); in expectComputedVolumeIsValidOverapprox()