short-circuit testing