hadome 0.3.1

Reports the violations a change adds and the tests it weakens.