Correctness test of previous commit