Combinational circuit testing