Testing Exception Safety Guarantees

Construct test scenarios that verify correct cleanup during forced exception unwinding.