Modified to show violations count after execution.