Test cases for checkoff1