Member predicate TranslatedAllocatorCall::mustThrowException
Holds if the evaluation of this call always throws an exception.
predicate mustThrowException()
Holds if the evaluation of this call always throws an exception.
predicate mustThrowException()