hadome 0.4.1

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