How to use the EXAMINER tool in my model

I encountered a problem, specifically: in my model, one of the variables z (i, r) is a binary variable. After running the GAMS program, there are several values in the z (i, r) variable that are shown as 1, but According to the constraints should be displayed on the 0, and then I will be replaced by a 1 on the constraints of the conditions, the constraints are set up, so I would like to change the data 1 to 0 after all the data into the original program to verify the constraints in the program Is the equation still true?
To make the above requirements to achieve, it should be to use GAMS examiner tools, I would like to ask you who used it?