LAVA vs. manual test discrepancy