Debugging verifier