MainVerifierTest