Verify correctness in the test() method