Locally exhaustive testing of combinational circuits using linear logic circuits