Combinational logic circuit testing