Let's get this straight. To verify the correctness of your ALU, you are going to log the output of your ALU for a few inputs, and then you are going to verify that your ALU gives the same output when given those same inputs?
This is basically asking "does your ALU produce the same outputs as your ALU?"
The first rule of tautology club is the first rule of tautology club.