verified correctness of test result