Destructor bomb#22

Merged

Munksgaard merged 3 commits intomasterfrom

Nov 19, 2015

Commits on Sep 2, 2015

Add destructor bombs
Manishearth
committed
Fix the documentation tests to handle destructor bombs

Munksgaard
authored and
Manishearth
committed
fix unused_mutable warning
Manishearth
committed