Disable the verification while the interpreter runs the valid test
cases. And enable the verification for the invalid test case. This is
because the verification current does not support bitwise operation.