Redirecting to Automatic test pattern generation