test ViolationHandler