My Tests Were Green. My Verification Tool Wasn't