VT: Test correctness