Start Testing; Check for state correctness.