Re: LAVA vs. manual test discrepancy