Finally reporting the default violations